Refinement Types as Higher-Order Dependency Pairs.

Published in: RTA (2011)

Keyphrases

higher order
pairwise
high order
markov random field
data sets
low order
real world
computer vision
high level
video sequences
hidden markov models
co occurrence
markov models