757 search results - page 65 / 152 » Monte Carlo Model Checking |
211
Voted
CPHYSICS
2011
14 years 6 months ago
2011
We present a new Monte Carlo tool that computes full tree-level matrix elements in high-energy physics. The program accepts user-defined models and has no restrictions on the pro...
142
Voted
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
We demonstrate a system for querying probabilistic XML documents with simple XPath queries. A user chooses between a variety of query answering techniques, both exact and approxim...
128
click to vote
JMLR
2012
13 years 5 months ago
2012
We describe a novel approach to quadrature for ratios of probabilistic integrals, such as are used to compute posterior probabilities. This approach offers performance superior t...
137
Voted
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper, we focus on the design of Markov Chain Monte Carlo techniques in a statistical registration framework based on finite element basis (FE). Due to the use of FE basis...
153
Voted
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper proposes a new approach to describe the salient contours in cluttered scenes. No need to do the preprocessing, such as edge detection, we directly use a set of random s...