Hector: An Equivalence Checker for a Higher-Order Fragment of ML.

David Hopkins Andrzej S. Murawski C.-H. Luke Ong

Published in: CAV (2012)

Keyphrases

higher order
maximum likelihood
high order
natural images
pairwise
low order
markov random field
markov models
lower order
interactive dynamic influence diagrams
artificial intelligence
conditional random fields
information systems
multiscale
data structure
lambda calculus