752 search results - page 108 / 151 » A Markov Chain Model Checker |
AI
2004
Springer
14 years 2 months ago
2004
Springer
Session reconstruction is an essential step in Web usage mining. The quality of reconstructed sessions affects the result of Web usage mining. This paper presents a new approach o...
HLK
2003
IEEE
14 years 2 months ago
2003
IEEE
In some applications objects are known to have nonsmooth or “jagged” edges, which are not well approximated by smooth curves. We use subdivision curves as a simple but flexib...
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
ICVS
1999
Springer
14 years 29 days ago
1999
Springer
Many modern computer vision systems are built by chaining together standard vision procedures, often in graphical programming environments such as Khoros, CVIPtools or IUE. Typical...
WCNC
2010
IEEE
14 years 17 days ago
2010
IEEE
—This paper aims at answering the questions of how to enable cooperative communications in random access networks. And, since cooperation introduces extra transmissions in the ch...