A Gap in Average Proof Complexity

Eli Ben-Sasson Yonatan Bilu

Published in: Electron. Colloquium Comput. Complex. (2002)

Keyphrases

standard deviation
decision trees
computational cost
real time
neural network
decision making
metadata
similarity measure
multiscale
multi agent
multiresolution
medical images