Sciweavers

13052 search results - page 31 / 2611
» The design of natural interaction
Sort
View
AAAI
1998
13 years 10 months ago
Design Principles for Intelligent Environments
This paper describes design criteria for creating highly embedded, interactive spaces that we call Intelligent Environments. The motivation for building these systems is to bring ...
Michael H. Coen
ITCC
2003
IEEE
14 years 1 months ago
Enabling Active Engagement in E-tutelage Using Interactive Multimedia System
Computer and multimedia technology play an increasingly important role in education. However, current educational multimedia systems suffer from a major drawback that they don’t...
Xiaoping Wei, Haining Liu, Magda El Zarki
ICTAI
2000
IEEE
14 years 1 months ago
Cognitively adequate modelling of spatial reference in human-robot interaction
The question addressed in this paper is which types of spatial reference human users employ in the interaction with a robot and how a cognitively adequat model of these strategies...
Reinhard Moratz, Kerstin Fischer
JANCL
2006
112views more  JANCL 2006»
13 years 8 months ago
KAT-ML: an interactive theorem prover for Kleene algebra with tests
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
Kamal Aboul-Hosn, Dexter Kozen
ATAL
2004
Springer
14 years 2 months ago
Social Judgment in Multiagent Interactions
Social judgment is a process of social explanation whereby one identifies which entities deserve credit or blame for multiagent activities. Such explanations are a key aspect of i...
Wenji Mao, Jonathan Gratch