324 search results - page 14 / 65 » Ways of grounding imagination |
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
KR
2004
Springer
14 years 2 months ago
2004
Springer
The computational grounding problem – the gap between the mental models of an agent and its computational model – is a well known problem within the agent research community. ...
CHI
2008
ACM
14 years 9 months ago
2008
ACM
Threshold devices present information gathered from the home's surroundings to give new views on the domestic situation. We built two prototypes of different threshold device...
MICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper we investigate mapping stream programs (i.e., programs written in a streaming style for streaming architectures such as Imagine and Raw) onto a general-purpose CP...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Safe autonomous flight is essential for widespread acceptance of aircraft that must fly close to the ground. We have developed a method of collision avoidance that can be use...