Sciweavers

752 search results - page 14 / 151
» A Markov Chain Model Checker
Sort
View
103
Voted
COR
2007
70views more  COR 2007»
15 years 5 months ago
Markov chain models of a telephone call center with call blending
Alexandre Deslauriers, Pierre L'Ecuyer, Juta Pichi...
50
Voted
JOSS
2002
45views more  JOSS 2002»
15 years 5 months ago
Markov Chain Monte Carlo Estimation of Exponential Random Graph Models
Tom A. B. Snijders
JCSC
2010
62views more  JCSC 2010»
15 years 4 months ago
Markov Chain Modeling and Analysis of Complicated Phenomena in Coupled Chaotic oscillators
Yoshifumi Nishio, Yuta Komatsu, Yoko Uwate, Martin...
154
Voted
PE
2010
Springer
180views Optimization» more  PE 2010»
15 years 4 months ago
PCTL model checking of Markov chains: Truth and falsity as winning strategies in games
Harald Fecher, Michael Huth, Nir Piterman, Daniel ...
GLOBECOM
2010
IEEE
15 years 3 months ago
A Discrete Time Markov Chain Model for High Throughput Bidirectional Fano Decoders
Ran Xu, Graeme Woodward, Kevin Morris, Taskin Ko&c...