Sciweavers

536 search results - page 7 / 108
» Planning by Abstraction Using HW[]
Sort
View
BILDMED
2009
217views Algorithms» more  BILDMED 2009»
13 years 5 months ago
Evaluation Scheme for a Positron Emission Tomography System Used in Monitoring of Radiation Therapy
Abstract. Positron emission tomography (PET) is used for independent monitoring of dose delivery in ion therapy. An in-beam PET scanner registers the annihilation γ-rays following...
Georgy Shakirin, Fine Fiedler, Wolfgang Enghardt
ICRA
2010
IEEE
132views Robotics» more  ICRA 2010»
13 years 6 months ago
Combining planning techniques for manipulation using realtime perception
Abstract— We present a novel combination of motion planning techniques to compute motion plans for robotic arms. We compute plans that move the arm as close as possible to the go...
Ioan Alexandru Sucan, Mrinal Kalakrishnan, Sachin ...
ATAL
2010
Springer
13 years 8 months ago
Merging example plans into generalized plans for non-deterministic environments
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
ERSHOV
1999
Springer
13 years 12 months ago
Multi-agent Optimal Path Planning for Mobile Robots in Environment with Obstacles
Abstract. The paper describes a problem of multi-agent path planning in environment with obstacles. Novel approach to multi-agent optimal path planning, using graph representation ...
Fedor A. Kolushev, Alexander A. Bogdanov
GI
2009
Springer
13 years 5 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann