6800 search results - page 1105 / 1360 » Testing with Functions as Specifications |
108
Voted
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— As mobile robots become increasingly autonomous over extended periods of time, opportunities arise for their use on repetitive tasks. We define and implement behaviors for a c...
125
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
161
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— This paper presents a robust algorithm for segmentation and line detection in 2D range scans. The described method exploits the multimodal probability density function ...
141
Voted
ACCV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. To develop statistical models for shapes, we utilize an elastic string representation where curves (denoting shapes) can bend and locally stretch (or compress) to optimal...
117
click to vote
ACG
2006
Springer
15 years 11 months ago
2006
Springer
A plethora of enhancements are available to be used together with the αβ search algorithm. There are so many, that their selection and implementation is a non-trivial task, even ...