842 search results - page 105 / 169 » Search Control Techniques for Planning |
171
click to vote
IROS
2008
IEEE
15 years 12 months ago
2008
IEEE
— 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...
169
click to vote
CIKM
2009
Springer
16 years 1 days ago
2009
Springer
The skyline operator was first proposed in 2001 for retrieving interesting tuples from a dataset. Since then, 100+ skyline-related papers have been published; however, we discove...
130
click to vote
ISER
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a new four-limbed robot, LEMUR IIb (Legged Excursion Mechanical Utility Rover), that can free-climb vertical rock surfaces. This robot was designed to have a nu...
175
click to vote
ICSOC
2004
Springer
15 years 10 months ago
2004
Springer
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
157
click to vote
VMCAI
2009
Springer
16 years 7 days ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...