380 search results - page 49 / 76 » Process Algebra and Markov Chains |
QEST
2008
IEEE
14 years 2 months ago
2008
IEEE
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
UAI
2004
13 years 9 months ago
2004
We propose dynamical systems trees (DSTs) as a flexible model for describing multiple processes that interact via a hierarchy of aggregating processes. DSTs extend nonlinear dynam...
SBMF
2009
Springer
14 years 4 days ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
We describe a method for inferring tree-like vascular structures from 2D imagery. A Markov Chain Monte Carlo (MCMC) algorithm is employed to produce approximate samples from the p...
ICIP
1999
IEEE
14 years 9 months ago
1999
IEEE
In this paper efficient modeling of VBR MPEG coded video sources is proposed by appropriately combining properties of frame and GOP layer signals. In particular, a Markov chain is...