Sciweavers

718 search results - page 102 / 144
» On Defaults in Action Theories
Sort
View
JMIV
2008
69views more  JMIV 2008»
13 years 11 months ago
Transport of Relational Structures in Groups of Diffeomorphisms
This paper focuses on the issue of translating the relative variation of one shape with respect to another in a template centered representation. The context is the theory of Diffe...
Laurent Younes, Anqi Qiu, Raimond L. Winslow, Mich...
LISP
2008
101views more  LISP 2008»
13 years 10 months ago
Flow-sensitive type systems and the ambient calculus
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. Numerous analyses have been developed for numerous va...
Torben Amtoft
AI
2004
Springer
13 years 10 months ago
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
Murray Shanahan
AROBOTS
1998
111views more  AROBOTS 1998»
13 years 10 months ago
Emergence and Categorization of Coordinated Visual Behavior Through Embodied Interaction
This paper discusses the emergence of sensorimotor coordination for ESCHeR, a 4DOF redundant foveated robot-head, by interaction with its environment. A feedback-error-learning(FEL...
Luc Berthouze, Yasuo Kuniyoshi
ETAI
1998
99views more  ETAI 1998»
13 years 10 months ago
A Logical Account of the Common Sense Informatic Situation for a Mobile Robot
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...
Murray Shanahan