752 search results - page 31 / 151 » A Markov Chain Model Checker |
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
A steganalysis system based on 2-D Markov chain of thresholded prediction-error image is proposed in this paper. Image pixels are predicted with their neighboring pixels, and the ...
QEST
2005
IEEE
14 years 2 months ago
2005
IEEE
We consider bisimulation and weak bisimulation relations in the context of the Labeled Markov Chains of Hansson and Jonsson, the Concurrent Labeled Markov Chains of Philippou, Lee...
CAAP
1990
14 years 21 days ago
1990
act We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the ...
ICASSP
2011
IEEE
13 years 11 days ago
2011
IEEE
Previous analysis of content fingerprints has mainly focused on the case of independent and identically distributed fingerprints. Practical fingerprints, however, exhibit corre...
WCNC
2010
IEEE
14 years 16 days ago
2010
IEEE
—Experiments show that IEEE 802.11 DCF system exhibits unstable behavior in the congestion onset load range where the system starts to become saturated. This phenomenon is not we...