Sciweavers

842 search results - page 78 / 169
» Robust intra-document locations
Sort
View
123
Voted
ICFEM
2010
Springer
14 years 11 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...
98
Voted
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
14 years 11 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 11 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, ...
101
Voted
ICRA
2010
IEEE
123views Robotics» more  ICRA 2010»
14 years 11 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...
87
Voted
MICCAI
2010
Springer
14 years 11 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...