4962 search results - page 305 / 993 » Stochastic Model Checking |
118
click to vote
SIAMNUM
2010
14 years 10 months ago
2010
The quantization based filtering method (see [13], [14]) is a grid based approximation method to solve nonlinear filtering problems with discrete time observations. It relies on o...
311
click to vote
Presentation
In this paper, we present an automatic statistical approach for extracting 3D blood vessels from time-of-flight (TOF) magnetic resonance angiography (MRA) data. The voxels of the d...
141
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
—We develop a simple stochastic fluid model that seeks to expose the fundamental characteristics and limitations of P2P streaming systems. This model accounts for many of the es...
136
click to vote
JSAI
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
129
click to vote
ICPR
2002
IEEE
15 years 8 months ago
2002
IEEE
False matching due to errors in feature extraction and changes in illumination between frames may occur in feature tracking in image sequences. False matching leads to outliers in...