2035 search results - page 292 / 407 » Working memory |
107
click to vote
LICS
2007
IEEE
15 years 9 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...
123
click to vote
VL
2007
IEEE
15 years 9 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 (...
124
click to vote
VTC
2007
IEEE
15 years 9 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...
143
click to vote
ADC
2007
Springer
15 years 9 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...
118
click to vote
CC
2007
Springer
15 years 9 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...