Proof Generalization in $$\mathrm {LK}$$ LK by Second Order Unifier Minimization.

Thierry Boy de la Tour Nicolas Peltier

Published in: J. Autom. Reason. (2016)

Keyphrases

objective function
lucas kanade
image processing
feature selection
decision trees
image segmentation
higher order
data sets
databases
data mining
knowledge base
multiscale
cost function