Sciweavers

1993 search results - page 170 / 399
» On Action Theory Change
Sort
View
AI
2004
Springer
15 years 20 days 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
114
Voted
AROBOTS
1998
111views more  AROBOTS 1998»
15 years 14 days 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
80
Voted
JCT
2010
58views more  JCT 2010»
14 years 11 months ago
Map operations and k-orbit maps
A k-orbit map is a map with k flag-orbits under the action of its automorphism group. We give a basic theory of k-orbit maps and classify them up to k 4. “Hurwitz-like” upper...
Alen Orbanic, Daniel Pellicer, Asia Ivic Weiss
104
Voted
JSYML
2010
69views more  JSYML 2010»
14 years 7 months ago
Topological properties of sets definable in weakly o-minimal structures
The paper is aimed at studying the topological dimension for sets definable in weakly o-minimal structures in order to prepare background for further investigation of groups, grou...
Roman Wencel
186
Voted
ICOM
2011
14 years 4 months ago
A Context-Aware Proactive Controller for Smart Environments
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
Frank Krüger, Gernot Ruscher, Sebastian Bader...