4595 search results - page 160 / 919 » Reasoning about Plans |
168
click to vote
IAAI
2001
15 years 8 months ago
2001
This paper describes issues related to integrating image analysis techniques into case-based reasoning. Although the approach is generic, a high-throughput protein crystallization...
223
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Computer vision techniques can enhance landmark-based navigation by better utilizing online photo collections. We use spatial reasoning to compute camera poses, which are then regi...
150
Voted
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
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...
172
click to vote
SAT
2004
Springer
16 years 12 days ago
2004
Springer
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., ...
157
click to vote
TIME
2002
IEEE
15 years 12 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...