This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. ...
This paper addresses the “boundary ownership” problem,
also known as the figure/ground assignment problem.
Estimating boundary ownerships is a key step in perceptual
organiz...
We present a complete system for the purpose of automatically assembling 3D pots given 3D measurements of their fragments commonly called sherds. A Bayesian approach is formulated...
Many communication networks such as wireless networks only provide stochastic service guarantees. For analyzing stochastic service guarantees, research efforts have been made in ...