12981 search results - page 2260 / 2597 » Model Checking (Abstract) |
132
click to vote
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...
125
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper applies some previously studied extended Kalman filter techniques for planar road geometry estimation to the domain of autonomous navigation of offhighway v...
102
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper presents a tactical path planning algorithm for following ridges or valleys across a 3D terrain. The intent is to generate a path that enables an unmanned ve...
104
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract – The Cool Robot is a four-wheel-drive, solarpowered autonomous vehicle designed to support summertime science campaigns in Antarctica and Greenland. We deployed the rob...
137
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Tomorrow’s humanoids will operate in human environments, where efficient manipulation and locomotion skills, and safe contact interactions will be critical design fa...