2624 search results - page 426 / 525 » On Business Process Model Transformations |
121
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
207
Voted
EGC
2009
Springer
15 years 1 months ago
2009
Springer
We present a new evaluation criterion for the induction of decision trees. We exploit a parameter-free Bayesian approach and propose an analytic formula for the evaluation of the p...
129
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
Several recent studies demonstrate the potential of using tubular structures such as vessels as a basis for image registration. In this paper, we present a novel technique for the ...
151
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
A robust video object segmentation algorithm for complex conditions in surveillance systems is proposed in this paper. This algorithm contains an unsupervised K-Means background c...
122
click to vote
ANSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...