Refinement Types as Higher Order Dependency Pairs

Published in: CoRR (2011)

Keyphrases

higher order
pairwise
high order
dependency relations
markov random field
natural images
database systems
input image
markov models
low order