Algebraic and Semialgebraic Proofs: Methods and Paradoxes.

Pasqualina Conti Carlo Traverso

Published in: Automated Deduction in Geometry (2000)

Keyphrases

significant improvement
real time
image processing
computational cost
empirical studies
preprocessing
benchmark datasets
machine learning methods
data mining
computer vision
case study
face recognition
cross validation
methods require