The Refined Calculus of Inductive Construction: Parametricity and Abstraction

Chantal Keller Marc Lasson

Published in: CoRR (2012)

Keyphrases

inductive learning
construction process
high level
machine learning
computer vision
search algorithm
social networks
knowledge base
similarity measure
multiscale
concept learning