765 search results - page 126 / 153 » Empirical Design of Geometric Algorithms |
103
click to vote
DMIN
2007
15 years 1 months ago
2007
- The classifier built from a data set with a highly skewed class distribution generally predicts the more frequently occurring classes much more often than the infrequently occurr...
94
Voted
SCAI
2008
15 years 1 months ago
2008
Abstract. In the design of behavior-based control architectures for robots it is common to use biology as inspiration, and often the observed functionalities of insect behaviors ar...
AIPS
2004
15 years 1 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
173
click to vote
AAAI
1998
15 years 1 months ago
1998
For mobile robots to be successful, they have to navigate safely in populated and dynamic environments. While recent research has led to a variety of localization methods that can...
105
click to vote
ATAL
2010
Springer
15 years 27 days ago
2010
Springer
In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterize...