752 search results - page 10 / 151 » A Markov Chain Model Checker |
EVOW
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We analyze the convergence properties of our force based genetic algorithm(fga) as a decentralized topology control mechanism distributed among software agents. fga guide...
JAL
2000
13 years 8 months ago
2000
Random independent sets in graphs arise, for example, in statistical physics, in the hard-core model of a gas. In 1997, Luby and Vigoda described a rapidly mixing Markov chain for...
ICDAR
1999
IEEE
14 years 27 days ago
1999
IEEE
We propose a two-state Markov chain model of degraded document images. The model generates random and burst noise to simulate isolated pixel reversal as well as blurring of a larg...
ICW
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— In this paper, we present an analytical study targeted at statistically capturing the loss behavior of a RED queue. We utilize a finite-state Markov chain model. Start...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
---------------------------------------------------ABSTRACT-----------------------------------------------In the literature of Round-Robin scheduling scheme, each job is processed,...