Sciweavers

30 search results - page 3 / 6
» Lumping Matrix Diagram Representations of Markov Models
Sort
View
JMLR
2010
169views more  JMLR 2010»
13 years 2 months ago
Matrix-Variate Dirichlet Process Mixture Models
We are concerned with a multivariate response regression problem where the interest is in considering correlations both across response variates and across response samples. In th...
Zhihua Zhang, Guang Dai, Michael I. Jordan
AAAI
1996
13 years 9 months ago
Computing Optimal Policies for Partially Observable Decision Processes Using Compact Representations
: Partially-observable Markov decision processes provide a very general model for decision-theoretic planning problems, allowing the trade-offs between various courses of actions t...
Craig Boutilier, David Poole
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
14 years 1 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle
QEST
2010
IEEE
13 years 5 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
COOPIS
2004
IEEE
13 years 11 months ago
Model-Driven Dependability Analysis of WebServices
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
Apostolos Zarras, Panos Vassiliadis, Valéri...