Sciweavers

2556 search results - page 19 / 512
» The Triconnected Abstraction of Process Models
Sort
View
PKDD
2010
Springer
179views Data Mining» more  PKDD 2010»
14 years 9 months ago
Gaussian Processes for Sample Efficient Reinforcement Learning with RMAX-Like Exploration
Abstract. We present an implementation of model-based online reinforcement learning (RL) for continuous domains with deterministic transitions that is specifically designed to achi...
Tobias Jung, Peter Stone
SOSP
2007
ACM
15 years 8 months ago
Information flow control for standard OS abstractions
ion Flow Control for Standard OS Abstractions Maxwell Krohn Alexander Yip Micah Brodsky Natan Cliffer M. Frans Kaashoek Eddie Kohler† Robert Morris MIT CSAIL †UCLA http://flum...
Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky,...
CONCUR
2003
Springer
15 years 4 months ago
Modeling Consensus in a Process Calculus
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...
Uwe Nestmann, Rachele Fuzzati, Massimo Merro
DAGSTUHL
2006
15 years 1 months ago
AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects
Abstract. AMFIBIA is a meta-model that formalizes the essential aspects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspe...
Ekkart Kindler, Björn Axenath, Vladimir Rubin
ICML
1998
IEEE
16 years 15 days ago
Intra-Option Learning about Temporally Abstract Actions
tion Learning about Temporally Abstract Actions Richard S. Sutton Department of Computer Science University of Massachusetts Amherst, MA 01003-4610 rich@cs.umass.edu Doina Precup D...
Richard S. Sutton, Doina Precup, Satinder P. Singh