Recursive Families of Inductive Types.

Venanzio Capretta

Published in: TPHOLs (2000)

Keyphrases

machine learning
website
inductive learning
database
multiscale
databases
neural network
computer vision
information systems
preprocessing
special case
domain knowledge
rule learning
recursive programs