Login / Signup
A Logic-Based Formalism to Model and Analyze Workflow Executions.
Gianluigi Greco
Antonella Guzzo
Domenico Saccà
Published in:
CAiSE Short Paper Proceedings (2003)
Keyphrases
</>
formal model
computational model
statistical model
experimental data
neural network model
probabilistic model
theoretical framework
mathematical model
autoregressive
learning algorithm
high level
probability distribution
knowledge representation
parameter estimation