Simplifying the signature in second-order unification.

Jordi Levy Mateu Villaret

Published in: Appl. Algebra Eng. Commun. Comput. (2009)

Keyphrases

higher order
signature recognition
signature verification
function symbols
theorem proving
directional derivatives
machine learning
theorem prover
database
three dimensional
feature vectors
multiresolution
hessian matrix