4460 search results - page 431 / 892 » Formal methods for interactive systems |
198
click to vote
ASSETS
2010
ACM
15 years 1 months ago
2010
ACM
Electronic Augmented and Alternative Communication (AAC) systems provide a method for people with severe speech impairments to communicate by selecting what they desire to say, an...
199
click to vote
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
157
click to vote
NORDICHI
2006
ACM
16 years 24 days ago
2006
ACM
The evaluation of e-learning applications deserves special attention and evaluators need effective methodologies and appropriate guidelines to perform their task. We have proposed...
280
click to vote
COGSYS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
172
click to vote
TEI
2009
ACM
16 years 1 months ago
2009
ACM
Many types of tangible interaction systems, such as interactive surfaces and gesture-based interfaces, are based on various kinds of optical tracking, using infrared illuminators ...