Sciweavers

10284 search results - page 2002 / 2057
» Designing for nomadic work
Sort
View
ACMDIS
2010
ACM
13 years 10 months ago
WallBots: interactive wall-crawling robots in the hands of public artists and political activists
Street art and political activism have a rich history of shaping urban landscapes. Our work explores the processes by which public artists and political activists contribute to pu...
Stacey Kuznetsov, Eric Paulos, Mark D. Gross
APLAS
2010
ACM
13 years 10 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
MM
2010
ACM
251views Multimedia» more  MM 2010»
13 years 10 months ago
A cognitive approach for effective coding and transmission of 3D video
Reliable delivery of 3D video contents to a wide set of users is expected to be the next big revolution in multimedia applications provided that it is possible to grant a certain ...
Simone Milani, Giancarlo Calvagno
CVPR
2010
IEEE
13 years 10 months ago
Illumination compensation based change detection using order consistency
We present a change detection method resistant to global and local illumination variations for use in visual surveillance scenarios. Approaches designed thus far for robustness to...
Vasu Parameswaran, Maneesh Singh, Visvanathan Rame...
MOBICOM
2010
ACM
13 years 10 months ago
Exploiting temporal stability and low-rank structure for localization in mobile networks
Localization is a fundamental operation for many wireless networks. While GPS is widely used for location determination, it is unavailable in many environments either due to its h...
Swati Rallapalli, Lili Qiu, Yin Zhang, Yi-Chao Che...
« Prev « First page 2002 / 2057 Last » Next »