4767 search results - page 313 / 954 » Structures for Abstract Rewriting |
155
click to vote
ICML
2002
IEEE
16 years 7 months ago
2002
IEEE
An open problem in reinforcement learning is discovering hierarchical structure. HEXQ, an algorithm which automatically attempts to decompose and solve a model-free factored MDP h...
140
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper solves the unambiguity and the sequentiality problem for polynomially ambiguous min-plus automata. This result is proved through a decidable algebraic characte...
195
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
159
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— A mathematical model for the scheduling of angiogenic inhibitors in combination with a killing agent is considered as an optimal control problem. Initial results on the...
145
click to vote
ERCIMDL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The process of development of metadata elements and structures can be approached and supported in a number of different ways. We sketch a user-centred approach to this p...