4460 search results - page 685 / 892 » Formal methods for interactive systems |
129
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
To recognize and understand a person’s emotion has been known as one of the most important issue in human-computer interaction. In this paper, we present a multimodal system tha...
138
click to vote
WACV
2002
IEEE
15 years 9 months ago
2002
IEEE
We propose a non-intrusive eye tracking system intended for the use of everyday gaze typing using web cameras. We argue that high precision in gaze tracking is not needed for on-s...
143
click to vote
AAAI
2007
15 years 6 months ago
2007
We present integration mechanisms for combining heterogeneous components in a situated information processing system, illustrated by a cognitive robot able to collaborate with a h...
139
click to vote
EDM
2010
15 years 6 months ago
2010
We describe pedagogical and student modeling based on past student interactions with a tutoring system. We model student effort with an integrated view of student behaviors (e.g. t...
121
click to vote
IASTEDSE
2004
15 years 6 months ago
2004
The notion of service enjoys increasing popularity as a means for structuring complex distributed systems. Most definitions of the term service, however, refer only to syntactic l...