Keyphrases
- upper bound
- lower bound
- theorem proving
- worst case
- upper and lower bounds
- lower and upper bounds
- error bounds
- polynomially bounded
- tight bounds
- theorem prover
- knowledge base
- np hard
- artificial neural networks
- feature space
- bayesian networks
- artificial intelligence
- real world
- average case
- low order
- data sets
- confidence bounds
- database