Proving the Equivalence of Higher-Order Terms by Means of Supercompilation.

Ilya G. Klyuchnikov Sergei A. Romanenko

Published in: Ershov Memorial Conference (2009)

Keyphrases

higher order
pairwise
databases
data sets
search engine
decision making
similarity measure
multiscale
reinforcement learning
special case
conditional random fields