13534 search results - page 398 / 2707 » Modelling Human-Computer Interaction |
178
click to vote
DSVIS
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
179
click to vote
DSVIS
2003
Springer
16 years 3 days ago
2003
Springer
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
192
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We propose an eye detection and tracking method based on color and geometrical features of the human face using a monocular camera. In this method a decision is made on whether th...
178
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We present a game-based interface for acquiring common sense knowledge. In addition to being interactive and entertaining, our interface guides the knowledge acquisition process t...
195
click to vote
ACMACE
2006
ACM
16 years 26 days ago
2006
ACM
Recent advances in three-dimensional (3D) data acquisition techniques have offered an alternative to the traditional 2D metamorphosis (or morphing) approaches, which gradually cha...