Sciweavers

2393 search results - page 385 / 479
» Adaptive Narrative Abstraction
Sort
View
BPM
2008
Springer
138views Business» more  BPM 2008»
15 years 8 months ago
Issues in Modeling Process Variants with Provop
For a particular business process, typically, different variants exist. Each of them constitutes an adjustment of a basic process (e.g. a reference process) to specific requirement...
Alena Hallerbach, Thomas Bauer, Manfred Reichert
CG
2008
Springer
15 years 8 months ago
Extended Null-Move Reductions
Abstract. In this paper we review the conventional versions of nullmove pruning, and present our enhancements which allow for a deeper search with greater accuracy. While the conve...
Omid David-Tabibi, Nathan S. Netanyahu
MMB
2010
Springer
185views Communications» more  MMB 2010»
15 years 8 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker
CIKM
2008
Springer
15 years 8 months ago
Workload-based optimization of integration processes
The efficient execution of integration processes between distributed, heterogeneous data sources and applications is a challenging research area of data management. These inn proc...
Matthias Böhm, Uwe Wloka, Dirk Habich, Wolfga...
ECML
2006
Springer
15 years 8 months ago
Cascade Evaluation of Clustering Algorithms
Abstract. This paper is about the evaluation of the results of clustering algorithms, and the comparison of such algorithms. We propose a new method based on the enrichment of a se...
Laurent Candillier, Isabelle Tellier, Fabien Torre...