Sciweavers

1120 search results - page 65 / 224
» Eager Markov Chains
Sort
View
STOC
2009
ACM
137views Algorithms» more  STOC 2009»
16 years 6 months ago
Mixing time for the solid-on-solid model
We analyze the mixing time of a natural local Markov chain (the Glauber dynamics) on configurations of the solid-onsolid model of statistical physics. This model has been proposed...
Fabio Martinelli, Alistair Sinclair
ICIP
2008
IEEE
16 years 18 days ago
Blind restoration of blurred photographs via AR modelling and MCMC
We propose a new image and blur prior model, based on nonstationary autoregressive (AR) models, and use these to blindly deconvolve blurred photographic images, using the Gibbs sa...
Tom E. Bishop, Rafael Molina, James R. Hopgood
IPPS
2007
IEEE
16 years 14 days ago
Performance Modelling of Peer-to-Peer Routing
We propose several models based on discrete-time Markov chains for the analysis of Distributed Hash Tables (DHTs). Specifically, we examine the Pastry routing protocol, as well a...
Idris A. Rai, Andrew Brampton, Andrew MacQuire, La...
AB
2007
Springer
16 years 10 days ago
A Stochastic Pi Calculus for Concurrent Objects
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...
Céline Kuttler, Cédric Lhoussaine, J...
CSR
2007
Springer
16 years 10 days ago
Decidability of Parameterized Probabilistic Information Flow
In this paper, we consider the decidability of two problems related to information flow in a system with respect to some property. A flow occurs in a system if the conditional pr...
Danièle Beauquier, Marie Duflot, Yury Lifsh...