Currying Second-Order Unification Problems.

Jordi Levy Mateu Villaret

Published in: RTA (2002)

Keyphrases

higher order
practical problems
computer vision
image segmentation
special case
multi class
np complete
real time
databases
learning algorithm
artificial intelligence
expert systems
application domains
mathematical programming
problems involving
main problems