Sciweavers

2005 search results - page 111 / 401
» Decisive Markov Chains
Sort
View
JMLR
2010
88views more  JMLR 2010»
14 years 8 months ago
Inference and Learning in Networks of Queues
Probabilistic models of the performance of computer systems are useful both for predicting system performance in new conditions, and for diagnosing past performance problems. The ...
Charles A. Sutton, Michael I. Jordan
JMLR
2012
13 years 4 months ago
Adaptive MCMC with Bayesian Optimization
This paper proposes a new randomized strategy for adaptive MCMC using Bayesian optimization. This approach applies to nondifferentiable objective functions and trades off explor...
Nimalan Mahendran, Ziyu Wang, Firas Hamze, Nando d...
AUSAI
2008
Springer
15 years 3 months ago
An Optimality Principle for Concurrent Systems
Abstract. This paper presents a formulation of an optimality principle for a new class of concurrent decision systems formed by products of deterministic Markov decision processes ...
Langford B. White, Sarah L. Hickmott
116
Voted
CORR
2010
Springer
174views Education» more  CORR 2010»
15 years 1 months ago
Hybrid Numerical Solution of the Chemical Master Equation
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
Thomas A. Henzinger, Maria Mateescu, Linar Mikeev,...
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 6 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...