Sampling-based proofs of almost-periodicity results and algorithmic applications

Eli Ben-Sasson Noga Ron-Zewi Madhur Tulsiani Julia Wolf

Published in: CoRR (2012)

Keyphrases

bayesian networks
motion planning
monte carlo
periodic patterns
multi agent systems
formal proofs
equational theories
mathematical proofs
information retrieval
image processing
decision trees
expert systems
markov chain
theorem prover
adaptive sampling