752 search results - page 41 / 151 » A Markov Chain Model Checker |
134
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— The analysis regarding the impact of the single-step power control (SSPC) scheme on the system performance such as bit error rate, packet error rate and queueing variation is h...
149
click to vote
BIOSYSTEMS
2007
15 years 3 months ago
2007
This paper presents an approach for controlling gene networks based on a Markov chain model, where the state of a gene network is represented as a probability distribution, while ...
132
click to vote
AB
2007
Springer
15 years 9 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
149
click to vote
JMLR
2012
13 years 5 months ago
2012
This paper proposes a new randomized strategy for adaptive MCMC using Bayesian optimization. This approach applies to nondifferentiable objective functions and trades off explor...
107
Voted
ICPR
2002
IEEE
16 years 4 months ago
2002
IEEE
We present a distributed, surveillance system that works in large and complex indoor environments. To track and recognize behaviors of people, we propose the use of the Hidden Mar...