Sciweavers

691 search results - page 18 / 139
» Robot task planning using semantic maps
Sort
View
AIEDAM
1999
157views more  AIEDAM 1999»
14 years 9 months ago
Representing a robotic domain using temporal description logics
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
Alessandro Artale, Enrico Franconi
IROS
2007
IEEE
198views Robotics» more  IROS 2007»
15 years 3 months ago
Topological mapping, localization and navigation using image collections
Abstract— In this paper we present a highly scalable visionbased localization and mapping method using image collections. A topological world representation is created online dur...
Friedrich Fraundorfer, Christopher Engels, David N...

Presentation
2175views
16 years 10 months ago
Robust Robotic Path Planning Using Level Sets
In robotic navigation, path planning is aimed at getting the optimum collision-free path between a starting and target locations. The optimality criterion depends on the surround...
M. Sabry Hassouna
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
15 years 3 months ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
ICRA
2000
IEEE
92views Robotics» more  ICRA 2000»
15 years 1 months ago
Action Module Planning and its Application to an Experimental Climbing Robot
This paper presents the application of an action module planning method to an experimental climbing robot named LIBRA. The method searches for a sequence of physically realizable ...
David M. Bevly, Shane Farritor, Steven Dubowsky