Abstracting abstract machines: a systematic approach to higher-order program analysis.

David Van Horn Matthew Might

Published in: Commun. ACM (2011)

Keyphrases

higher order
natural images
high order
pairwise
markov random field
higher level
qualitative and quantitative
artificial intelligence
learning machines
markov models
low level
low order
machine intelligence
flowshop
inductive learning
artificial neural networks
image segmentation
information systems
computer vision