6020 search results - page 979 / 1204 » A New Approach to Model Counting |
152
click to vote
AAAI
2006
15 years 7 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
177
click to vote
FLAIRS
2006
15 years 7 months ago
2006
This paper considers a robot with multiple sensors navigating an unknown, heterogeneous environment. In these cases sensor errors may produce an unsuitable model of the world. For...
177
click to vote
NIPS
2003
15 years 7 months ago
2003
We have designed and tested a single-chip analog VLSI sensor that detects imminent collisions by measuring radially expansive optic flow. The design of the chip is based on a mode...
175
click to vote
MVA
2000
15 years 7 months ago
2000
Taking into account these various remarks, our method is composed of four modules: In this article, we describe a new method deA recognition phase allows to accurately detersigned ...
185
click to vote
AAAI
1994
15 years 7 months ago
1994
We present new algorithms for local planning over Markov decision processes. The base-level algorithm possesses several interesting features for control of computation, based on s...