1581 search results - page 138 / 317 » Mechanizing Inductive Reasoning |
156
click to vote
CLIMA
2007
15 years 7 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
136
click to vote
CRIWG
2006
15 years 7 months ago
2006
During computer-mediated synchronous collaboration there is need for supporting reflection of the partners involved. In this paper we study techniques for determining the state of ...
150
click to vote
COMCOM
2006
15 years 6 months ago
2006
This paper presents an efficient distributed self-monitoring mechanism for a class of wireless sensor networks used for monitoring and surveillance. In these applications, it is i...
153
click to vote
AIR
2005
15 years 6 months ago
2005
Most users of machine-learning products are reluctant to use the systems without any sense of the underlying logic that has led to the system's predictions. Unfortunately many...
168
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Interactive storytelling can either be based on explicit plot representations or on the autonomous behaviour of artificial characters. In such a character-based approach, the dyna...