Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Abstract. When creating execution-level process models from conceptual to-be process models, challenges are to find implementations for process activities and to use these impleme...
In this paper, we use marked point processes to perform an unsupervised extraction of the coronary tree from 2D X-ray angiography. These processes provide a rigorous framework bas...
: In order to respond quickly to changing market requirements, a business organisation needs to increase the level of agility in all phases of the business process engineering chai...
Ivan Markovic, Alessandro Costa Pereira, Nenad Sto...
A Bayesian marked point process (MPP) model is developed
to detect and count people in crowded scenes. The
model couples a spatial stochastic process governing number
and placem...