752 search results - page 39 / 151 » A Markov Chain Model Checker |
NIPS
2004
13 years 10 months ago
2004
First-order Markov models have been successfully applied to many problems, for example in modeling sequential data using Markov chains, and modeling control problems using the Mar...
ICGI
2004
Springer
14 years 2 months ago
2004
Springer
We present a method for modeling user navigation on a web site using grammatical inference of stochastic regular grammars. With this method we achieve better models than the previo...
SDM
2009
SIAM
14 years 5 months ago
2009
SIAM
Popularity of mobile devices is accompanied by widespread security problems, such as MAC address spoofing in wireless networks. We propose a probabilistic approach to temporal an...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
We demonstrate how to apply Coupling from the Past, a simulation technique for exact sampling, to Markov chains based on TCP variants. This approach provides a new, statistically ...
APNOMS
2006
Springer
14 years 12 days ago
2006
Springer
In this paper, we propose two mechanisms, differentiation by backoff exponent and differentiation by the size of contention window, for IEEE 802.15.4 sensor networks to provide mul...