A completion of the proof of the Edge-statistics Conjecture.

Jacob Fox Lisa Sauermann

Published in: CoRR (2018)

Keyphrases

real time
edge information
learning algorithm
theorem proving
edge detection
contour fragments
automated theorem proving
theorem prover
database systems
databases
multiscale
similarity measure
image processing
information retrieval
image edges
machine learning
disjoint paths
knuth bendix