Login / Signup
Director Strings Revisited: A Generic Approach to the Efficient Representation of Free Variables in Higher-order Rewriting.
François-Régis Sinot
Published in:
J. Log. Comput. (2005)
Keyphrases
</>
higher order
image representation
similarity measure
pairwise
domain specific
auxiliary variables
markov random field
computationally efficient
high order
biological sequences