Sciweavers

8 search results - page 2 / 2
» apn 2000
Sort
View
APN
2000
Springer
13 years 8 months ago
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
H. M. W. (Eric) Verbeek, Wil M. P. van der Aalst
APN
2000
Springer
13 years 9 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
UAI
2000
13 years 6 months ago
Exploiting Qualitative Knowledge in the Learning of Conditional Probabilities of Bayesian Networks
Algorithms for learning the conditional probabilities of Bayesian networks with hidden variables typically operate within a high-dimensional search space and yield only locally op...
Frank Wittig, Anthony Jameson