1012 search results - page 176 / 203 » A technique for the visualization of population-based algori... |
120
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
164
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Interactive network-based navigation over large urban environments raises difficult problems due to the size and complexity of these scenes. In this paper, we present a clientser...
117
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
Applications such as robot navigation and augmented reality require high-accuracy dense disparity maps in real-time and online. Due to time constraint, most realtime stereo applic...
129
click to vote
IIHMSP
2006
IEEE
15 years 10 months ago
2006
IEEE
Visual analysis of human behavior has generated considerable interest in the field of computer vision because of the wide spectrum of potential applications. In this paper, we pre...
154
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents a self-localization strategy for a team of heterogenous mobile robots, including ground mobile robots of various sizes and wall-climbing robots. These robot...