5900 search results - page 996 / 1180 » Dependable Systems |
164
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
151
click to vote
CANDC
2002
ACM
15 years 6 months ago
2002
ACM
To contribute to HCI investigation and interface design that develops interactive systems for creative solutions, I attempt to formulate a model of the human capability to combine...
152
click to vote
ENTCS
2000
15 years 6 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
168
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Preference elicitation is a central problem in AI, and has received significant attention in single-agent settings. It is also a key problem in multiagent systems, but has receive...
170
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
We present an experiment examining effects of gaze on speech during three-person conversations. Understanding such effects is crucial for the design of teleconferencing systems an...