490 search results - page 34 / 98 » Abstraction Augmented Markov Models |
127
click to vote
QEST
2010
IEEE
14 years 12 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
109
click to vote
ICC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We develop a family of distributed wireless scheduling algorithms that requires only O(1) complexity for M-hop interference model, for any finite M. The recent technolo...
121
click to vote
MIRAGE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of an alpha overlay shadow model. Previou...
108
click to vote
ISVC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper a new extension of the CONDENSATION algorithm, with application to infants face tracking, will be introduced. In this work we address the problem of trackin...
159
click to vote
MICCAI
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We introduce a generative probabilistic model for segmentation of tumors in multi-dimensional images. The model allows for different tumor boundaries in each channel, ref...