9284 search results - page 163 / 1857 » Knowledge State Algorithms |
158
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
158
Voted
WCW
2004
Springer
15 years 11 months ago
2004
Springer
Distributed hash tables are increasingly being proposed as the core substrate for content delivery applications in the Internet, such as cooperative Web caches, Web index and sear...
161
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Most unmanned aerial robots use a Global Navigation Satellite System (GNSS), such as GPS, GLONASS, and Galileo, for their navigation. However, from time to time the GNS...
184
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We consider a finite-state memoryless channel with i.i.d. channel state and the input Markov process supported on a mixing finite-type constraint. We discuss the asymptotic behavio...
155
click to vote
SCL
2008
15 years 6 months ago
2008
In this work, the problem of estimating the state in systems with continuous and discrete variables is considered. A cascade state estimator on a partial order is constructed and ...