Sciweavers

2005 search results - page 233 / 401
» Decisive Markov Chains
Sort
View
ICST
2010
IEEE
15 years 5 days ago
Generating Transition Probabilities for Automatic Model-Based Test Generation
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
Abderrahmane Feliachi, Hélène Le Gue...
ICIP
2010
IEEE
14 years 11 months ago
Instrument parameter estimation in bayesian convex deconvolution
This paper proposes a Bayesian approach for estimation of instrument parameter in convex image deconvolution. The parameters of the instrument response (PSF) are jointly estimated...
François Orieux, Thomas Rodet, Jean-Fran&cc...
NAACL
2010
14 years 11 months ago
Variational Inference for Adaptor Grammars
Adaptor grammars extend probabilistic context-free grammars to define prior distributions over trees with "rich get richer" dynamics. Inference for adaptor grammars seek...
Shay B. Cohen, David M. Blei, Noah A. Smith
125
Voted
QEST
2010
IEEE
14 years 11 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
GLOBECOM
2009
IEEE
14 years 11 months ago
Performance Modeling for Heterogeneous Wireless Networks with Multiservice Overflow Traffic
Performance modeling is important for the purpose of developing efficient dimensioning tools for large complicated networks. But it is difficult to achieve in heterogeneous wireles...
Qian Huang, King-Tim Ko, Villy Bæk Iversen