3483 search results - page 146 / 697 » Forward |
128
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Computational RFIDs (CRFIDs) provide flexible, general-purpose computation on a microcontroller via energy that is harvested and stored in capacitors rather than batteries. Our co...
136
Voted
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
The biggest challenge for RFID technology is to provide benefits without threatening the privacy of consumers. Many solutions have been suggested but almost as many ways have been...
147
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, we propose to leverage social graphs from Online Social Networks (OSN) to improve the forwarding efficiency of mobile networks, more particularly Delay Tolerant ...
135
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This work presents a class of unidirectional lifting-based wavelet transforms for an arbitrary communication graph in a wireless sensor network. These transforms are unidirectiona...