1315 search results - page 85 / 263 » Usability of dial-a-ride systems |
LOCA
2005
Springer
14 years 3 months ago
2005
Springer
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...
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
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...
MHCI
2004
Springer
14 years 3 months ago
2004
Springer
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...
FGR
2002
IEEE
14 years 3 months ago
2002
IEEE
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...
WCRE
2002
IEEE
14 years 2 months ago
2002
IEEE
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...