Sciweavers

842 search results - page 78 / 169
» Robust intra-document locations
Sort
View
ICFEM
2010
Springer
14 years 8 months ago
Making the Right Cut in Model Checking Data-Intensive Timed Systems
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
Rüdiger Ehlers, Michael Gerke 0002, Hans-J&ou...
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
14 years 8 months ago
Learning visibility of landmarks for vision-based localization
— We aim to perform robust and fast vision-based localization using a pre-existing large map of the scene. A key step in localization is associating the features extracted from t...
Pablo Fernández Alcantarilla, Sang Min Oh, ...
ICRA
2010
IEEE
211views Robotics» more  ICRA 2010»
14 years 8 months ago
A saliency-based approach to boost trail detection
— This paper presents a saliency-based solution to boost trail detection. The proposed model builds on the empirical observation that trails are usually conspicuous structures in...
Pedro Santana, Nelson Alves, Luís Correia, ...
ICRA
2010
IEEE
123views Robotics» more  ICRA 2010»
14 years 8 months ago
A probabilistic approach to mixed open-loop and closed-loop control, with application to extreme autonomous driving
— We consider the task of accurately controlling a complex system, such as autonomously sliding a car sideways into a parking spot. Although certain regions of this domain are ex...
J. Zico Kolter, Christian Plagemann, David T. Jack...
MICCAI
2010
Springer
14 years 8 months ago
Tracked Ultrasound Elastography (TrUE)
Abstract. This paper presents a robust framework for freehand ultrasound elastography to cope with uncertainties of freehand palpation using the information from an external tracke...
Pezhman Foroughi, Hassan Rivaz, Ioana Fleming, Gre...