2005 search results - page 154 / 401 » Decisive Markov Chains |
EPEW
2006
Springer
15 years 5 months ago
2006
Springer
We propose new techniques to simplify the computation of the cycle times and the absorption times for a large class of PEPA models. These techniques allow us to simplify the model ...
117
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
108
click to vote
ENTCS
2006
15 years 1 months ago
2006
The notion of equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. The reason is that, besid...
109
click to vote
PAMI
2008
15 years 1 months ago
2008
In this article, we define and address the problem of finding the visual focus of attention for a varying number of wandering people (VFOA-W)
116
click to vote
JCT
2000
15 years 1 months ago
2000
We study discrete Green's functions and their relationship with discrete Laplace equations. Several methods for deriving Green's functions are discussed. Green's fu...