1753 search results - page 85 / 351 » State Machines |
144
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
We present a new subgoal-based method for automatically creating useful skills in reinforcement learning. Our method identifies subgoals by partitioning local state transition gra...
129
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
126
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Dynamic power management (DPM) work proposed to date places inactive components into low power states using a single DPM policy. In contrast, we instead dynamically select among a...
134
Voted
ICCS
1993
Springer
15 years 8 months ago
1993
Springer
Adaptive predictive search (APS), is a learning system framework, which given little initial domain knowledge, increases its decision-making abilities in complex problems domains....
131
click to vote
PPOPP
1993
ACM
15 years 8 months ago
1993
ACM
This paper discusses our experience with fine-grain synchronization for a variant of the preconditioned conjugate gradient method. This algorithm represents a large class of algo...