1701 search results - page 16 / 341 » Computer Science and State Machines |
ICML
2004
IEEE
15 years 10 months ago
2004
IEEE
lative Novelty to Identify Useful Temporal Abstractions in Reinforcement Learning ?Ozg?ur S?im?sek ozgur@cs.umass.edu Andrew G. Barto barto@cs.umass.edu Department of Computer Scie...
FOCS
2005
IEEE
15 years 3 months ago
2005
IEEE
ITP
2010
14 years 8 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
ESCIENCE
2007
IEEE
15 years 1 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
ASM
2000
ASM
15 years 2 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...