814 search results - page 103 / 163 » Generic Model Abstraction from Examples |
205
click to vote
IS
2011
14 years 10 months ago
2011
Abstract. Process mining allows for the automated discovery of process models from event logs. These models provide insights and enable various types of model-based analysis. This ...
141
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— Consider a generic data unit of random size L that needs to be transmitted over a channel of unit capacity. The channel dynamics is modeled as an on-off process {(Ai, Ui)}i≥1...
150
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
126
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...
185
click to vote
IDA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...