Sciweavers

595 search results - page 65 / 119
» Predictive State Representations with State Space Partitioni...
Sort
View
IJAHUC
2010
145views more  IJAHUC 2010»
14 years 7 months ago
Towards a routing framework in ad hoc space networks
Abstract: The unique characteristics of space networks lead to different research approaches from those in terrestrial networks. In this paper, a routing framework called Space Gat...
Chao Chen, Zesheng Chen
99
Voted
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 5 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
IJCAI
2001
15 years 2 months ago
Complexity of Probabilistic Planning under Average Rewards
A general and expressive model of sequential decision making under uncertainty is provided by the Markov decision processes (MDPs) framework. Complex applications with very large ...
Jussi Rintanen
103
Voted
IVC
2006
183views more  IVC 2006»
15 years 17 days ago
Augmented tracking with incomplete observation and probabilistic reasoning
An on-line algorithm for multi-object tracking is presented for monitoring a real-world scene from a single fixed camera. Potential objects are detected with adaptive backgrounds ...
Ming Xu, Tim Ellis
90
Voted
ICRA
2010
IEEE
88views Robotics» more  ICRA 2010»
14 years 11 months ago
Relaxed optimization for mode estimation in skid steering
— Skid-steered vehicles, by design, must skid in order to maneuver. The skidding causes the vehicle to behave discontinuously as well as introduces complications to the observati...
Timothy M. Caldwell, Todd D. Murphey