A verified framework for higher-order uncurrying optimizations.

Zaynah Dargaye Xavier Leroy

Published in: High. Order Symb. Comput. (2009)

Keyphrases

higher order
real time
framework enables
neural network
data mining
artificial intelligence
computer vision
decision making
decision trees
pairwise
evolutionary algorithm
data model
semi supervised
main contribution
high order
low order