1546 search results - page 213 / 310 » Context-Aware Computing with Sound |
181
click to vote
CCS
2009
ACM
15 years 3 months ago
2009
ACM
Privacy of RFID systems is receiving increasing attention in the RFID community. Basically, there are two kinds of RFID privacy notions: one based on the indistinguishability of t...
215
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Widespread current cameras are part of multisensory systems with an integrated computer (smartphones). Computer vision thus starts evolving to cross-modal sensing, where vision an...
144
click to vote
HPCA
2009
IEEE
16 years 6 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
179
click to vote
CADE
2005
Springer
16 years 5 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
173
click to vote
TLCA
2009
Springer
16 years 3 days ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...