Sciweavers

2556 search results - page 4 / 512
» The Triconnected Abstraction of Process Models
Sort
View
QEST
2006
IEEE
14 years 4 months ago
Game-based Abstraction for Markov Decision Processes
Marta Z. Kwiatkowska, Gethin Norman, David Parker
BPM
2009
Springer
340views Business» more  BPM 2009»
14 years 5 months ago
Abstractions in Process Mining: A Taxonomy of Patterns
ions in Process Mining: A Taxonomy of Patterns R.P. Jagadeesh Chandra Bose1,2 and Wil M.P. van der Aalst1 1 Department of Mathematics and Computer Science, University of Technology...
R. P. Jagadeesh Chandra Bose, Wil M. P. van der Aa...
PKDD
2010
Springer
193views Data Mining» more  PKDD 2010»
13 years 9 months ago
Process Mining Meets Abstract Interpretation
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...
Josep Carmona, Jordi Cortadella
CORR
2008
Springer
154views Education» more  CORR 2008»
13 years 11 months ago
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
Rohit Chadha, Mahesh Viswanathan