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...
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...
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 ...
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...
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...