Upper Tail Estimates with Combinatorial Proofs.

Jan Hazla Thomas Holenstein

Published in: CoRR (2014)

Keyphrases

theorem prover
formal proofs
theorem proving
power law
database
information retrieval
case study
database systems
multiscale
probabilistic model
pose estimation
confidence intervals
accurate estimation
importance sampling
simultaneously estimating
mathematical proofs