Sciweavers

377 search results - page 52 / 76
» Model-Driven Approach to Design User Interfaces for Workflow...
Sort
View
HF
2002
95views more  HF 2002»
13 years 8 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
DGO
2003
108views Education» more  DGO 2003»
13 years 10 months ago
The GovStat Statistical Interactive Glossary
The GovStat Statistical Interactive Glossary (SIG) is intended to allow users of federal statistical agency websites to look up meanings of statistical terms they encounter on the...
Ron T. Brown, Jesse Wilbur, Stephanie W. Haas, Mar...
DSMML
2004
Springer
14 years 24 days ago
Efficient Communication by Breathing
The arithmetic-coding-based communication system, Dasher, can be driven by a one-dimensional continuous signal. A belt-mounted breath-mouse, delivering a signal related to lung vol...
Tom Shorrock, David MacKay, Chris Ball
NETGAMES
2006
ACM
14 years 3 months ago
Meeting technology challenges of pervasive augmented reality games
Pervasive games provide a new type of game combining new technologies with the real environment of the players. While this already poses new challenges to the game developer, requ...
Wolfgang Broll, Jan Ohlenburg, Irma Lindt, Iris He...
CLEF
2009
Springer
13 years 6 months ago
Overview of iCLEF 2009: Exploring Search Behaviour in a Multilingual Folksonomy Environment
This paper summarises activities from the iCLEF 2009 task. As in 2008, the task was organised based on users participating in an interactive cross-language image search experiment...
Julio Gonzalo, Víctor Peinado, Paul Clough,...