5159 search results - page 855 / 1032 » Structural Testing of Executables |
192
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— We introduce the Oracular Partially Observable Markov Decision Process (OPOMDP), a type of POMDP in which the world produces no observations; instead there is an “oracle,” ...
181
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a vision-based terrain mapping and analysis system, and a model predictive control (MPC)based flight control system, for autonomous landing of a helicop...
190
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper explores generating efficient, portable HighSpeed Producer Consumer (HSPC) code on current shared memory architectures: Chip Multi-Processors (CMP), Simultaneous Multi...
210
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
—New 3D ultrasound visualization has enabled minimally invasive, beating-heart intracardiac procedures. However, rapid motion of internal heart structures limits the realization ...
183
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, multi-modal Magnetic Resonance (MR) images are integrated into a tissue profile that aims at differentiating tumor components, edema and normal tissue. This is achi...