The graphical Krivine machine.

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

Keyphrases

batch processing
data sets
knowledge base
case study
reinforcement learning
support vector
search algorithm
object recognition
digital libraries