752 search results - page 39 / 151 » A Markov Chain Model Checker |
122
click to vote
NIPS
2004
15 years 4 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...
140
click to vote
ICGI
2004
Springer
15 years 8 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...
127
click to vote
SDM
2009
SIAM
16 years 10 days 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...
102
click to vote
INFOCOM
2002
IEEE
15 years 8 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 ...
123
click to vote
APNOMS
2006
Springer
15 years 6 months 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...