752 search results - page 7 / 151 » A Markov Chain Model Checker |
WSC
1998
13 years 8 months ago
1998
We consider a new simulation-based optimization method called the Nested Partitions (NP) method. This method generates a Markov chain and solving the optimization problem is equiv...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents an extension of Vose’s Markov chain model for genetic algorithm (GA). The model contains not only standard genetic operators such as mutation and crossover bu...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— A novel method is proposed for reducing the feedback rate of a transmit beamforming system with feedback of quantized channel state information. Specifically, the channel is m...
CPC
2007
13 years 7 months ago
2007
d Abstract) Colin Cooper∗ , Martin Dyer† and Catherine Greenhill‡ We consider a simple Markov chain for d-regular graphs on n vertices, and show that the mixing time of this...