A Type-Theoretic Approach to Induction with Higher-Order Encodings.

Carsten Schürmann

Published in: LPAR (2001)

Keyphrases

higher order
markov random field
high order
natural images
machine learning
np complete
inductive learning
decision trees
orders of magnitude
data sets
artificial intelligence
computer vision
image processing
website
data structure
np hard