Login / Signup
Five Proofs of Chernoff's Bound with Applications.
Wolfgang Mulzer
Published in:
Bull. EATCS (2018)
Keyphrases
</>
upper bound
theorem proving
worst case
lower bound
pattern recognition
error bounds
theorem prover
database
real time
databases
real world
learning algorithm
knowledge base
pac learning
natural deduction