Sciweavers

4894 search results - page 135 / 979
» Dynamic Abstraction Planning
Sort
View
CORR
2010
Springer
138views Education» more  CORR 2010»
14 years 10 months ago
Optimal Path Planning under Temporal Logic Constraints
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
Stephen L. Smith, Jana Tumova, Calin Belta, Daniel...
105
Voted
AUSAI
2010
Springer
14 years 9 months ago
Heuristic Planning with SAT: Beyond Uninformed Depth-First Search
Abstract. Planning-specific heuristics for SAT have recently been shown to produce planners that match best earlier ones that use other search methods, including the until now dom...
Jussi Rintanen
73
Voted
WOSP
2010
ACM
15 years 5 months ago
SLA-driven planning and optimization of enterprise applications
We propose a model-based methodology to size and plan enterprise applications under Service Level Agreements (SLAs). Our approach is illustrated using a real-world Enterprise Reso...
Hui Li, Giuliano Casale, Tariq N. Ellahi
93
Voted
IROS
2007
IEEE
143views Robotics» more  IROS 2007»
15 years 4 months ago
A framework for planning motion in environments with moving obstacles
— In this paper we present a heuristic approach to planning in an environment with moving obstacles. Our approach assumes that the robot has no knowledge of the future trajectory...
Samuel Rodríguez, Jyh-Ming Lien, Nancy M. A...
ICRA
2005
IEEE
152views Robotics» more  ICRA 2005»
15 years 3 months ago
An Incremental Harmonic Function-based Probabilistic Roadmap Approach to Robot Path Planning
— A new hybrid motion planning technique based on Harmonic Functions (HF) and Probabilistic Roadmaps (PRM) is presented. The proposed approach consists of incrementally building ...
Moslem Kazemi, Mehran Mehrandezh, Kamal K. Gupta