GOFFIN: Higher-Order Functions Meet Concurrent Constraints.

Manuel M. T. Chakravarty Yike Guo Martin Köhler Hendrik C. R. Lock

Published in: Sci. Comput. Program. (1998)

Keyphrases

higher order
high order
natural images
mutual exclusion
pairwise
constraint satisfaction
low order
global constraints
machine learning
genetic algorithm
denoising
markov random field
basis functions
constraint programming
auxiliary variables