Login / Signup
The CoRe Calculus.
Serge Autexier
Published in:
CADE (2005)
Keyphrases
</>
similarity measure
computer algebra
computer vision
image segmentation
search algorithm
probabilistic model