Sciweavers

3765 search results - page 239 / 753
» Qualitative Action Systems
Sort
View
APAL
2006
112views more  APAL 2006»
15 years 7 months ago
On complexity of verification of interacting agents' behavior
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
CHI
2006
ACM
16 years 7 months ago
Sound intensity gradients in an ambient intelligence audio display
This paper describes the prototype of a real-time responsive audio display for an ambient intelligent game named socio-ec(h)o. The audio display relies on a gradient response to r...
Milena Droumeva, Ron Wakkary
IROS
2007
IEEE
95views Robotics» more  IROS 2007»
16 years 1 months ago
Modeling affordances using Bayesian networks
— Affordances represent the behavior of objects in terms of the robot’s motor and perceptual skills. This type of knowledge plays a crucial role in developmental robotic system...
Luis Montesano, Manuel Lopes, Alexandre Bernardino...
DSN
2006
IEEE
16 years 1 months ago
Automatic Recovery Using Bounded Partially Observable Markov Decision Processes
This paper provides a technique, based on partially observable Markov decision processes (POMDPs), for building automatic recovery controllers to guide distributed system recovery...
Kaustubh R. Joshi, William H. Sanders, Matti A. Hi...
AIED
2005
Springer
16 years 23 days ago
The Effect of Explaining on Learning: a Case Study with a Data Normalization Tutor
: Several studies have shown that explaining actions increases students’ knowledge. In this paper, we discuss how NORMIT supports self-explanation. NORMIT is a constraint-based t...
Antonija Mitrovic