Sciweavers

4973 search results - page 435 / 995
» Probabilistic Algorithms in Robotics
Sort
View
TSMC
1998
82views more  TSMC 1998»
15 years 6 months ago
To push or not to push: on the rearrangement of movable objects by a mobile robot
—We formulate and address the problem of planning a pushing manipulation by a mobile robot which tries to rearrange several movable objects in its work space. We present an algor...
Ohad Ben-Shahar, Ehud Rivlin
188
Voted
SAFECOMP
2010
Springer
15 years 4 months ago
Experiences in Applying Formal Verification in Robotics
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
Dennis Walter, Holger Täubig, Christoph L&uum...
IROS
2008
IEEE
171views Robotics» more  IROS 2008»
16 years 1 months ago
Action planner of hybrid leg-wheel robots for lunar and planetary exploration
— In this paper, we propose an action planning algorithm and its evaluation method based on dynamic simulation for a novel type of hybrid leg-wheel rover for planetary exploratio...
Eric Rohmer, Giulio Reina, Genya Ishigami, Keiji N...
IROS
2008
IEEE
121views Robotics» more  IROS 2008»
16 years 1 months ago
Learning robot motion control with demonstration and advice-operators
Abstract— As robots become more commonplace within society, the need for tools to enable non-robotics-experts to develop control algorithms, or policies, will increase. Learning ...
Brenna Argall, Brett Browning, Manuela M. Veloso
ICRA
2009
IEEE
336views Robotics» more  ICRA 2009»
16 years 1 months ago
Planar Catadioptric Stereo: Single and multi-view geometry for calibration and localization
— Planar Catadioptric Stereo vision sensors (PCS) combine a pinhole camera with two or more planar mirrors. PCS have recently received an increasing attention since a stereo view...
Gian Luca Mariottini, Stefano Scheggi, Fabio Morbi...