8874 search results - page 381 / 1775 » A New Implementation of Automath |
212
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Localization techniques that allow inferring the location of wireless devices directly from received signals have exposed mobile users to new threats. Adversaries can easily col...
169
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—With the advent of the new IEEE 802.11p DSRC/WAVE radios, Vehicle-to-Vehicle (V2V) communications is poised for a dramatic leap. A canonical application for these future vehicul...
199
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
This paper proposes a simple “prior-free” method for solving non-rigid structure-from-motion factorization problems. Other than using the basic low-rank condition, our method ...
195
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
Large-scale process variations can significantly limit the practical utility of microelectro-mechanical systems (MEMS) for RF (radio frequency) applications. In this paper we desc...
221
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...