4962 search results - page 271 / 993 » Stochastic Model Checking |
127
click to vote
CPE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
125
click to vote
JMIV
2002
15 years 2 months ago
2002
This paper suggests a high-level continuous image model for planar star-shaped objects. Under this model, a planar object is a stochastic deformation of a star-shaped template. The...
128
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The fundamental role that intrinsic stochasticity plays in cellular functions has been shown via numerous computational and experimental studies. In the face of such e...
140
click to vote
ICMLC
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a novel approach for adaptive online multi-stroke sketch recognition based on Hidden Markov Model (HMM). The method views the drawing sketch as the result of a ...
153
click to vote
FOCS
2004
IEEE
15 years 6 months ago
2004
IEEE
Stochastic optimization problems attempt to model uncertainty in the data by assuming that (part of) the input is specified in terms of a probability distribution. We consider the...