Building Extended Canonizers by Graph-Based Deduction.

Silvio Ranise Christelle Scharff

Published in: ICTAC (2007)

Keyphrases

multimedia
labeled data
real time
genetic algorithm
artificial intelligence
decision trees
objective function
multi agent
wide range
digital libraries
semi supervised
semi supervised learning
inference rules
theorem proving