This paper deals with identification and analyses of business decision processes in financial crisis management and appropriate relational data warehouse design for this processes. Also, here a model for financial crises symptoms is proposed and a data mining algorithm for automatic detection of those symptoms is developped. Finally, paper presents the concept for realization of target data min...

We provide both modaland relational characterisations of mayand must-testing preorders for recursive CSP processes with divergence, featuring probabilistic as well as nondeterministic choice. May testing is characterised in terms of simulation, and must testing in terms of failure simulation. To this end we develop weak transitions between probabilistic processes, elaborate their topological pr...

Stochastic processes that involve the creation of objects and relations over time are widespread, but relatively poorly studied. For example, accurate fault diagnosis in factory assembly processes requires inferring the probabilities of erroneous assembly operations, but doing this efficiently and accurately is difficult. Modeled as dynamic Bayesian networks, these processes have discrete varia...