Sciweavers

4313 search results - page 73 / 863
» Using time travel to diagnose computer problems
Sort
View
AAAI
2006
15 years 5 months ago
Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes)
Even under polynomial restrictions on plan length, conformant planning remains a very hard computational problem as plan verification itself can take exponential time. This heavy ...
Héctor Palacios, Hector Geffner
GI
2009
Springer
15 years 2 months ago
AnToNIa: A Software Tool for the Hemodynamic Analysis of Cerebral Vascular Malformations Using 3D and 4D MRA Image Sequences
Abstract: Stroke is the second most common cause of death and major cause of disability worldwide. Approx. 20% of cerebral strokes are caused by hemorrhages due to rupture of cereb...
Nils Daniel Forkert, Dennis Säring, Jens Fieh...
ECCV
1994
Springer
16 years 6 months ago
Independent motion segmentation and collision prediction for road vehicles
This paper presents a method for doing motion segmentation for autonomous vehicles which drive on planar surfaces. There are two distinct types of independent motion that may occu...
David Sinclair, Boubakeur Boufama
JFR
2006
72views more  JFR 2006»
15 years 4 months ago
KAT-5: Robust systems for autonomous vehicle navigation in challenging and unknown terrain
Kat-5 was the fourth vehicle to make history in DARPA's 2005 Grand Challenge, where for the first time ever, autonomous vehicles were able to travel through 100 miles of roug...
Paul G. Trepagnier, Jorge Nagel, Powell M. Kinney,...
SARA
2007
Springer
15 years 10 months ago
Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning
Abstract. We describe a way to improve the performance of MDP planners by modifying them to use lower and upper bounds to eliminate non-optimal actions during their search. First, ...
Ugur Kuter, Jiaqiao Hu