467 search results - page 1 / 94 » Roadmap of Infinite Results |
EATCS
2002
13 years 10 months ago
2002
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...
IROS
2009
IEEE
14 years 5 months ago
2009
IEEE
— This paper presents a new method for planning motions of multi-arm systems in constrained workspaces, for which state-of-the-art planners behave poorly. The method is based on ...
STRINGOLOGY
2008
14 years 9 days ago
2008
In a recent paper, Brlek et al showed that some extremal infinite smooth words are also infinite Lyndon words. This result raises a natural question: what are the infinite smooth w...
DAGSTUHL
2006
14 years 8 days ago
2006
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— In this paper, we propose a new approach to wireless sensor network assisted navigation while avoiding moving dangers. Our approach relies on an embedded roadmap in the...