Sciweavers

1315 search results - page 85 / 263
» Usability of dial-a-ride systems
Sort
View
LOCA
2005
Springer
15 years 12 months ago
Towards Smart Surroundings: Enabling Techniques and Technologies for Localization
Abstract. In this paper we identify the common techniques and technologies that are enabling location identification in a ubiquitous computing environment. We also address the imp...
Kavitha Muthukrishnan, Maria Eva Lijding, Paul J. ...
IFIP
2004
Springer
15 years 11 months ago
Prototyping Proof Carrying Code
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Seb...
MHCI
2004
Springer
15 years 11 months ago
CENTAUR: A Two-Panel User Interface for Mobile Document Access
This paper introduces a novel user interface designed to mitigate some of the usability problems in mobile web access. The interface consists of two side-by-side panels for represe...
Greg Schohn, Adam Berger
FGR
2002
IEEE
151views Biometrics» more  FGR 2002»
15 years 11 months ago
Fast Stereo-Based Head Tracking for Interactive Environments
We present a robust implementation of stereo-based head tracking designed for interactive environments with uncontrolled lighting. We integrate fast face detection and drift reduc...
Louis-Philippe Morency, Ali Rahimi, Neal Checka, T...
WCRE
2002
IEEE
15 years 11 months ago
Relating Expectations to Automatically Recovered Design Patterns
At MITRE we are developing tools to aid analysts in assessing the operational usability and quality of object-oriented code. Our tools statically examine source code, automaticall...
Angel Asencio, Sam Cardman, David Harris, Ellen La...