4962 search results - page 394 / 993 » Stochastic Model Checking |
157
Voted
CVPR
2009
IEEE
2009
IEEE
Fourier analysis and Gabor filtering for texture analysis and local reconstruction of general shapes
15 years 7 months ago
Since the pioneering work of Gibson in 1950, ShapeFrom-Texture has been considered by researchers as a hard problem, mainly due to restrictive assumptions which often limit its ap...
171
Voted
SCP
2000
15 years 3 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
QUESTA
2006
15 years 3 months ago
2006
In this paper we consider a stochastic model describing the varying number of flows in a network. This model features flows of two types, namely file transfers (with fixed volume)...
113
click to vote
ACL
1997
15 years 5 months ago
1997
This paper describes the conversion of a Hidden Markov Model into a sequential transducer that closely approximates the behavior of the stochastic model. This transformation is es...
122
click to vote
IWPT
2001
15 years 5 months ago
2001
Two methods for stochastically modelling bidirectionality in chart parsing are presented. A probabilistic islanddriven parser which uses such models (either isolated or in combina...