5356 search results - page 872 / 1072 » Adventures in time and space |
107
click to vote
ECAI
2008
Springer
15 years 3 months 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. ...
FPL
2008
Springer
15 years 3 months ago
2008
Springer
This paper investigates reconfigurable architectures suitable for chip multiprocessors (CMPs). Prior research has established that augmenting a conventional processor with reconfi...
117
click to vote
ASAP
2010
IEEE
15 years 3 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
101
click to vote
ISSRE
2007
IEEE
15 years 3 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
130
click to vote
AAAI
2010
15 years 3 months ago
2010
Many machine learning applications that involve relational databases incorporate first-order logic and probability. Markov Logic Networks (MLNs) are a prominent statistical relati...