4270 search results - page 616 / 854 » A Permutation Approach to Validation |
183
click to vote
IROS
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract— This paper introduces a method of building topological maps using sequences of images and the approximate string matching algorithm, which is commonly used in DNA seque...
156
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
- In this paper, we present a novel technique for calibrating central omnidirectional cameras. The proposed procedure is very fast and completely automatic, as the user is only ask...
167
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
Model-based recognition of an object typically involves matching dense 3D range data. The computational cost is directly affected by the amount of data of which a transformation n...
134
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract— This paper presents a new approach to the multirobot map-alignment problem that enables teams of robots to build joint maps without initial knowledge of their relative ...
159
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
16 years 18 days ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...