Sciweavers

4445 search results - page 439 / 889
» Reflective Authorization Systems
Sort
View
MOBISYS
2005
ACM
16 years 6 months ago
WALRUS: wireless acoustic location with room-level resolution using ultrasound
In this paper, we propose a system that uses the wireless networking and microphone interfaces of mobile devices to determine location to room-level accuracy. The wireless network...
Gaetano Borriello, Alan L. Liu, Tony Offer, Christ...
POPL
2010
ACM
16 years 4 months ago
Structuring the verification of heap-manipulating programs
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
Aleksandar Nanevski, Josh Berdine, Viktor Vafeiadi...
HICSS
2010
IEEE
164views Biometrics» more  HICSS 2010»
16 years 1 months ago
Embodied Social Presence Theory
We discuss and reflect on the importance of embodiment, context, and spatial proximity as they pertain to the sense of presence obtained by individuals in virtual environments. We...
Brian E. Mennecke, Janea L. Triplett, Lesya M. Has...
CHI
2010
ACM
16 years 1 months ago
Lumino: tangible blocks for tabletop computers based on glass fiber bundles
Tabletop computers based on diffuse illumination can track fiducial markers placed on the table’s surface. In this paper, we demonstrate how to do the same with objects arranged...
Patrick Baudisch, Torsten Becker, Frederik Rudeck
WWW
2009
ACM
16 years 1 months ago
Threshold selection for web-page classification with highly skewed class distribution
We propose a novel cost-efficient approach to threshold selection for binary web-page classification problems with imbalanced class distributions. In many binary-classification ta...
Xiaofeng He, Lei Duan, Yiping Zhou, Byron Dom