131 search results - page 22 / 27 » A bisimulation-based approach to the analysis of human-compu... |
ACMDIS
2000
ACM
14 years 7 days ago
2000
ACM
: Expanding the functionality of a successful system is always a challenge; the initial simplicity and ease-of-use is easily lost in the process. Experience indicates that this pro...
DSVIS
1998
Springer
14 years 3 days ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
IOT
2010
13 years 5 months ago
2010
Persuasive energy monitoring technology has the potential to inspire sustainable energy lifestyles within the home. However, to effect positive ecological behaviour change, a more ...
CHI
2001
ACM
14 years 8 months ago
2001
ACM
Chinese input presents unique challenges to the field of human computer interaction. This study provides an anatomical analysis of today's standard Chinese input process, whi...
ACIVS
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a real time estimation method of the three dimensional trajectory of a fingertip. Pointing with the finger is indeed a natural gesture for Human Computer Inte...