9284 search results - page 480 / 1857 » Knowledge State Algorithms |
239
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
164
click to vote
AAAI
2008
15 years 10 months ago
2008
Hierarchical state decompositions address the curse-ofdimensionality in Q-learning methods for reinforcement learning (RL) but can suffer from suboptimality. In addressing this, w...
190
click to vote
FMICS
2008
Springer
15 years 9 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
237
click to vote
IJRR
2010
15 years 6 months ago
2010
Partially observable Markov decision processes (POMDPs) provide a principled, general framework for robot motion planning in uncertain and dynamic environments. They have been app...
202
click to vote
ICIP
2000
IEEE
16 years 9 months ago
2000
IEEE
The enhancement of compressed video is considered. We present a general algorithm for processing the compressed data, with three variants of the algorithm having practical applica...