748 search results - page 52 / 150 » Time and Probability in Process Algebra |
128
Voted
QEST
2008
IEEE
15 years 6 months ago
2008
IEEE
We tackle the problem of non robustness of simulation and bisimulation when dealing with probabilistic processes. It is important to ignore tiny deviations in probabilities becaus...
99
Voted
LMCS
2006
15 years 12 days ago
2006
We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisi...
135
click to vote
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
Tracking 3D people from monocular video is often poorly constrained. To mitigate this problem, prior knowledge should be exploited. In this paper, the Gaussian process spatio-temp...
99
Voted
RSA
2010
14 years 11 months ago
2010
In this paper we analyze the appearance of a Hamilton cycle in the following random process. The process starts with an empty graph on n labeled vertices. At each round we are pre...
80
Voted
COMCOM
2006
15 years 15 days ago
2006
This paper considers two important aspects related to the control plane of Traffic Engineered IP/MPLS networks: the ``flooding reduction'' mechanisms and the evaluation ...