171 search results - page 27 / 35 » Detecting Execution Failures Using Learned Action Models |
AAAI
2000
13 years 9 months ago
2000
As applications for artificially intelligent agents increase in complexity we can no longer rely on clever heuristics and hand-tuned behaviors to develop their programming. Even t...
AAAI
1992
13 years 9 months ago
1992
It is often useful for a robot to construct a spatial representation of its environment from experiments and observations, in other words, to learn a map of its environment by exp...
DSN
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper describes the design and evaluation of a robust integrator for software-implemented control systems. The integrator is constructed as a generic component in the Simulin...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Human beings can perceive object properties such as size, weight, and material type based solely on the sounds that the objects make when an action is performed on them. In ord...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...