8025 search results - page 358 / 1605 » Combinators Introduction: An Algorithm |
161
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We present an efficient algorithm for complete motion planning that combines approximate cell decomposition (ACD) with probabilistic roadmaps (PRM). Our approach uses ...
193
click to vote
CGO
2006
IEEE
16 years 26 days ago
2006
IEEE
Although compile-time optimizations generally improve program performance, degradations caused by individual techniques are to be expected. One promising research direction to ove...
182
click to vote
ICRA
2006
IEEE
16 years 26 days ago
2006
IEEE
— The main contribution of this paper is a new SLAM algorithm for the mapping of large scale environments by combining local maps. The local maps can be generated by traditional ...
189
click to vote
MEMOCODE
2006
IEEE
16 years 25 days ago
2006
IEEE
We present an efficient symbolic search algorithm for software model checking. The algorithm combines multiple symbolic representations to efficiently represent the transition r...
186
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we present a new type system for logic programs. Our system combines ideas of the classical polymorphic, but not very precise, system due to Mycroft and O'Keefe...