Sciweavers

347 search results - page 22 / 70
» Markov Chain Monte Carlo
Sort
View
CP
2010
Springer
13 years 7 months ago
Computing the Density of States of Boolean Formulas
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
Stefano Ermon, Carla P. Gomes, Bart Selman
ICASSP
2011
IEEE
13 years 14 days ago
MCMC inference of the shape and variability of time-response signals
Signals in response to time-localized events of a common phenomenon tend to exhibit a common shape, but with variable time scale, amplitude, and delay across trials in many domain...
Dmitriy A. Katz-Rogozhnikov, Kush R. Varshney, Ale...
ICASSP
2011
IEEE
13 years 14 days ago
Point process MCMC for sequential music transcription
In this paper, models and algorithms are presented for transcription of pitch and timings in polyphonic music extracts, focusing on the algorithm details of the sequential Markov ...
Pete Bunch, Simon J. Godsill
ICASSP
2011
IEEE
13 years 14 days ago
Enhanced Poisson sum representation for alpha-stable processes
In this paper we present Poisson sum series representations for α-stable (αS) random variables and α-stable processes, in particular concentrating on continuous-time autoregres...
Tatjana Lemke, Simon J. Godsill
ICASSP
2011
IEEE
13 years 14 days ago
Particle algorithms for filtering in high dimensional state spaces: A case study in group object tracking
We briefly present the current state-of-the-art approaches for group and extended object tracking with an emphasis on particle methods which have high potential to handle complex...
Lyudmila Mihaylova, Avishy Carmi