Sciweavers

122 search results - page 22 / 25
» An Algorithm for Probabilistic Least-Commitment Planning
Sort
View
58
Voted
ICRA
2009
IEEE
110views Robotics» more  ICRA 2009»
15 years 4 months ago
Reactive grasping using optical proximity sensors
— We propose a system for improving grasping using fingertip optical proximity sensors that allows us to perform online grasp adjustments to an initial grasp point without requi...
Kaijen Hsiao, Paul Nangeroni, Manfred Huber, Ashut...
C3S2E
2010
ACM
14 years 10 months ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire
84
Voted
JAIR
2006
120views more  JAIR 2006»
14 years 9 months ago
FluCaP: A Heuristic Search Planner for First-Order MDPs
We present a heuristic search algorithm for solving first-order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating stat...
Steffen Hölldobler, Eldar Karabaev, Olga Skvo...
CCE
2004
14 years 9 months ago
Optimization under uncertainty: state-of-the-art and opportunities
A large number of problems in production planning and scheduling, location, transportation, finance, and engineering design require that decisions be made in the presence of uncer...
Nikolaos V. Sahinidis
AI
1999
Springer
14 years 9 months ago
Experiences with an Interactive Museum Tour-Guide Robot
This article describes the software architecture of an autonomous, interactive tour-guide robot. It presents a modular, distributed software architecture, which integrates localiz...
Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dir...