3560 search results - page 327 / 712 » Low-Fidelity Algorithm Visualization |
135
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
144
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— We describe a framework for finding and tracking “trails” for autonomous outdoor robot navigation. Through a combination of visual cues and ladar-derived structural inform...
151
click to vote
SMI
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we propose a novel algorithm for 3D shape searching based on the visual similarity by cutting the object into sections. This method rectifies some of the shortcomin...
115
Voted
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
171
click to vote
APGV
2005
ACM
15 years 10 months ago
2005
ACM
Image processing often involves an image transformation into a domain that is better correlated with visual perception, such as the wavelet domain, image pyramids, multi-scale con...