4962 search results - page 283 / 993 » Stochastic Model Checking |
113
click to vote
NIPS
2004
15 years 4 months ago
2004
In this paper we propose an efficient algorithm for reducing a large mixture of Gaussians into a smaller mixture while still preserving the component structure of the original mod...
109
click to vote
STACS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we determine some limit distributions of pattern statistics in rational stochastic models, defined by means of nondeterministic weighted finite automata. ...
132
click to vote
PRIS
2001
15 years 4 months ago
2001
This paper addresses the problem of tracking objects with complex motion dynamics or shape changes. It is assumed that some of the visual features detected in the image (e.g., edg...
207
click to vote
Publication
Drawbacks of the traditional scenario of image modeling by Gibbs random fields with multiple pairwise pixel interactions are outlined, and a more reasonable alternative scenario b...
120
click to vote
ECBS
2009
IEEE
15 years 9 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...