752 search results - page 23 / 151 » A Markov Chain Model Checker |
FOCS
1999
IEEE
14 years 28 days ago
1999
IEEE
We study two widely used algorithms, Glauber dynamics and the Swendsen-Wang algorithm, on rectangular subsets of the hypercubic lattice
IROS
2008
IEEE
14 years 3 months ago
2008
IEEE
— Robots acting in populated environments must be capable of safe but also time efficient navigation. Trying to completely avoid regions resulting from worst case predictions of...
IJAR
2007
13 years 8 months ago
2007
Hidden Markov chains (HMC) are widely applied in various problems occurring in different areas like Biosciences, Climatology, Communications, Ecology, Econometrics and Finances, ...
SIAMSC
2008
13 years 8 months ago
2008
A multilevel adaptive aggregation method for calculating the stationary probability vector of an irreducible stochastic matrix is described. The method is a special case of the ada...
ALENEX
2003
13 years 10 months ago
2003
Graph models for real-world complex networks such as the Internet, the WWW and biological networks are necessary for analytic and simulation-based studies of network protocols, al...