4460 search results - page 735 / 892 » Formal methods for interactive systems |
174
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
135
click to vote
ISWC
2002
IEEE
15 years 9 months ago
2002
IEEE
Wearable, camera based, head–tracking systems use spatial image registration algorithms to align images taken as the wearer gazes around their environment. This allows for compu...
138
click to vote
UM
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes user modelling in I-Help, a system to facilitate communication amongst learners. There are two I-Help components: Private and Public Discussions. In the Privat...
150
click to vote
APCHI
1998
IEEE
15 years 8 months ago
1998
IEEE
Eye gaze interface has potential as a new HumanComputerInteractionmethod, evidentin the numerouskinds developed so far. However, in order to make sure that such an interface is bo...
147
click to vote
CHI
2007
ACM
15 years 8 months ago
2007
ACM
This paper reports a longitudinal study of a non-speech input-controlled continuous cursor control system: Whistling User Interface (U3I). This study combines quantitative (target...