Sciweavers

3018 search results - page 138 / 604
» Leveraging the
Sort
View
ISWC
2003
IEEE
14 years 3 months ago
MIThril 2003: Applications and Architecture
In this paper we describe the MIThril 2003 wearable computing research platform. MIThril 2003 is a proven, accessible architecture that combines inexpensive, commodity hardware, a...
Richard W. DeVaul, Michael Sung, Jonathan Gips, Al...
SAINT
2003
IEEE
14 years 3 months ago
Generic Peer-to-Peer Support for a Personal Service Platform
Building on previous work of the OASIS group at SICS, this paper presents a generic peer-to-peer system for the sView personal service platform. The sView platform provides each u...
Fredrik Espinoza, Lucas Hinz
UIST
2003
ACM
14 years 3 months ago
Multi-finger and whole hand gestural interaction techniques for multi-user tabletop displays
Recent advances in sensing technology have enabled a new generation of tabletop displays that can sense multiple points of input from several users simultaneously. However, apart ...
Mike Wu, Ravin Balakrishnan
AVBPA
2003
Springer
106views Biometrics» more  AVBPA 2003»
14 years 3 months ago
The NIST HumanID Evaluation Framework
The NIST HumanID Evaluation Framework, or HEF, is an effort to design, implement, and deploy standards for the robust and complete documentation of the biometric system evaluation...
Ross J. Micheals, Patrick Grother, P. Jonathon Phi...
CAV
2003
Springer
107views Hardware» more  CAV 2003»
14 years 3 months ago
Theorem Proving Using Lazy Proof Explication
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B...