Sciweavers

1727 search results - page 243 / 346
» human 2005
Sort
View
DSVIS
2005
Springer
15 years 5 months ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
ICMI
2005
Springer
107views Biometrics» more  ICMI 2005»
15 years 5 months ago
Exploring multimodality in the laboratory and the field
There are new challenges to us, as researchers, on how to design and evaluate new mobile applications because they give users access to powerful computing devices through small in...
Lynne Baillie, Raimund Schatz
IEAAIE
2005
Springer
15 years 5 months ago
AI/NLP Technologies Applied to Spacecraft Mission Design
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
Maria Teresa Pazienza, Marco Pennacchiotti, Michel...
ASSETS
2005
ACM
15 years 1 months ago
How to operate a PC without using the hands
A demo of a biosignal interface, which allows to operate a Windows r PC without using the hands, shall be given. The system – called HaMCoS (for Hands-free Mouse Control System)...
Torsten Felzer, Rainer Nordmann
DIM
2005
ACM
15 years 1 months ago
Usable presentation of secure pseudonyms
Privacy-Enhancing Identity Management (PIM) enables users to control which personal information they provide to their communication partner(s) by partitioning their personal infor...
Katrin Borcea-Pfitzmann, Elke Franz, Andreas Pfitz...