3863 search results - page 682 / 773 » Function in Device Representation |
132
click to vote
TOPLAS
2002
15 years 4 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
138
click to vote
KES
2007
Springer
15 years 4 months ago
2007
Springer
Abstract As a matter of fact, humans continuously delegate and distribute cognitive functions to the environment to lessen their limits. They build models, representations, and oth...
127
click to vote
MST
2007
15 years 4 months ago
2007
Odometers or “adding machines” are usually introduced in the context of positional numeration systems built on a strictly increasing sequence of integers. We generalize this no...
159
click to vote
PAMI
2007
15 years 4 months ago
2007
As biometric authentication systems become more prevalent, it is becoming increasingly important to evaluate their performance. The current paper introduces a novel statistical me...
143
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Multiple-input multiple-output (MIMO) systems are being considered as one of the key enabling technologies for future wireless networks. However, the decrease in capacity due to th...