Non-asymptotic covering lemmas.

Published in: ITW (2015)

Keyphrases

asymptotically optimal
theorem prover
theorem proving
three dimensional
finite sample
real time
laplace transform
databases
image processing
relational databases
worst case
steady state
large deviations
expected values
asymptotic optimality