Sciweavers

190 search results - page 11 / 38
» On solving integral equations using Markov chain Monte Carlo...
Sort
View
86
Voted
SIGSOFT
2007
ACM
16 years 12 days ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
67
Voted
ICML
2002
IEEE
16 years 14 days ago
Univariate Polynomial Inference by Monte Carlo Message Length Approximation
We apply the Message from Monte Carlo (MMC) algorithm to inference of univariate polynomials. MMC is an algorithm for point estimation from a Bayesian posterior sample. It partiti...
Leigh J. Fitzgibbon, David L. Dowe, Lloyd Allison
ICCV
2005
IEEE
15 years 5 months ago
A Model-Based Vehicle Segmentation Method for Tracking
Our goal is to detect and track moving vehicles on a road observed from cameras placed on poles or buildings. Inter-vehicle occlusion is significant under these conditions and tra...
Xuefeng Song, Ramakant Nevatia
SIGGRAPH
1995
ACM
15 years 3 months ago
Optimally combining sampling techniques for Monte Carlo rendering
Monte Carlo integration is a powerful technique for the evaluation of difficult integrals. Applications in rendering include distribution ray tracing, Monte Carlo path tracing, a...
Eric Veach, Leonidas J. Guibas
JMLR
2006
143views more  JMLR 2006»
14 years 11 months ago
Geometric Variance Reduction in Markov Chains: Application to Value Function and Gradient Estimation
We study a sequential variance reduction technique for Monte Carlo estimation of functionals in Markov Chains. The method is based on designing sequential control variates using s...
Rémi Munos