69 search results - page 7 / 14 » Let's Plan It Deductively! |
NIPS
2003
13 years 9 months ago
2003
A mobile robot acting in the world is faced with a large amount of sensory data and uncertainty in its action outcomes. Indeed, almost all interesting sequential decision-making d...
GRAPHICSINTERFACE
2000
13 years 9 months ago
2000
Character animation is usually reserved for highly skilled animators and computer programmers because few of the available tools allow the novice or casual user to create compelli...
IUI
2010
ACM
14 years 4 months ago
2010
ACM
We present a new approach for creating dynamic illustrations to assist in the understanding of concepts in physics and mathematics using pen-based interaction. Our approach builds...
BIRTHDAY
2010
Springer
13 years 9 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
SG
2010
Springer
14 years 27 days ago
2010
Springer
ColourVision is an interactive installation that empowers people to step into an intensive dialogue with colors. Physical seating postures such as active, relaxed or reflective pos...