2555 search results - page 388 / 511 » Quantifiers and Working Memory |
123
click to vote
ISCAS
2007
IEEE
15 years 10 months ago
2007
IEEE
A SoC design for applications of OMA DRM 2 Agent in mobile phones is presented in this paper, which has been verified by Altera Stratix EP1S80B956C6 FPGA development board. Several...
126
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
134
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
When creating new application programming interfaces (APIs), designers must make many decisions. These decisions affect the quality of the resulting APIs in terms of performance (...
135
Voted
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
We investigate models for uplink interference in wireless systems. Our models account for the effects of outage probabilities. Such an accounting requires a nonlinear, even nonco...
154
click to vote
ADC
2007
Springer
15 years 10 months ago
2007
Springer
The detection of image versions from large image collections is a formidable task as two images are rarely identical. Geometric variations such as cropping, rotation, and slight p...