Polyvariant Specialisation for Higher-Order, Block-Structured Languages.

Karoline Malmkjær Peter Ørbæk

Published in: PEPM (1995)

Keyphrases

higher order
expressive power
high order
natural images
pairwise
structured queries
language independent
machine learning
structured data
lambda calculus
cross lingual
real world
databases
markov random field
text summarization
low order
xml files
first order logic
digital images
block matching
lower order
data sets