Sciweavers

4962 search results - page 394 / 993
» Stochastic Model Checking
Sort
View
CVPR
2009
IEEE
15 years 10 months ago
Fourier analysis and Gabor filtering for texture analysis and local reconstruction of general shapes
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...
Fabio Galasso, Joan Lasenby
SCP
2000
119views more  SCP 2000»
15 years 6 months ago
Automated compositional Markov chain generation for a plain-old telephone system
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...
Holger Hermanns, Joost-Pieter Katoen
QUESTA
2006
98views more  QUESTA 2006»
15 years 6 months ago
Fluid models of integrated traffic and multipath routing
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)...
Peter B. Key, Laurent Massoulié
149
Voted
ACL
1997
15 years 8 months ago
Finite State Transducers Approximating Hidden Markov Models
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...
André Kempe
IWPT
2001
15 years 8 months ago
Probabilistic Modelling of Island-Driven Parsing
Two methods for stochastically modelling bidirectionality in chart parsing are presented. A probabilistic islanddriven parser which uses such models (either isolated or in combina...
Alicia Ageno, Horacio Rodríguez