595 search results - page 26 / 119 » Predictive State Representations with State Space Partitioni... |
100
click to vote
TACAS
2010
Springer
14 years 8 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
ENTCS
2008
14 years 10 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
77
Voted
TSMC
2010
14 years 5 months ago
2010
In Smart Spaces (SSs), the capability of learning from experience is fundamental for autonomous adaptation to environmental changes and for proactive interaction with users. New re...
87
Voted
ECAI
2008
Springer
15 years 5 days ago
2008
Springer
In many practical reinforcement learning problems, the state space is too large to permit an exact representation of the value function, much less the time required to compute it. ...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
Partitioning a memory into multiple blocks that can be independently accessed is a widely used technique to reduce its dynamic power. For embedded systems, its benefits can be ev...