Sciweavers

232 search results - page 19 / 47
» Abstract Reasoning for Planning and Coordination
Sort
View
SCIA
2005
Springer
14 years 6 days ago
A Memory Architecture and Contextual Reasoning Framework for Cognitive Vision
One of the key requirements for a cognitive vision system to support reasoning is the possession of an effective mechanism to exploit context both for scene interpretation and for...
Josef Kittler, William J. Christmas, Alexey Kostin...
KR
1994
Springer
13 years 10 months ago
An Application of Terminological Logics to Case-based Reasoning
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
Jana Koehler
ICCBR
2010
Springer
13 years 5 months ago
A General Introspective Reasoning Approach to Web Search for Case Adaptation
Abstract. Acquiring adaptation knowledge for case-based reasoning systems is a challenging problem. Such knowledge is typically elicited from domain experts or extracted from the c...
David B. Leake, Jay H. Powell
IROS
2006
IEEE
97views Robotics» more  IROS 2006»
14 years 23 days ago
Spatial Reasoning for Real-time Robotic Manipulation
Abstract – Presented in this paper is an approach to realtime spatial reasoning for manipulative robotic tasks. When a service robot is requested to manipulate an object, it shou...
Han-Young Jang, Hadi Moradi, Suyeon Hong, Sukhan L...
SAT
2004
Springer
94views Hardware» more  SAT 2004»
14 years 2 days ago
QBF Reasoning on Real-World Instances
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...