UTP2: Higher-Order Equational Reasoning by Pointing.

Andrew Butterfield

Published in: UITP (2014)

Keyphrases

higher order
high order
natural images
pairwise
markov random field
low order
lower order
markov models
data mining
data sets
object oriented
information extraction
multiresolution
learning environment
data structure
search engine
information retrieval