A Framework for Verified Depth-First Algorithms.

Published in: ATx/WInG@IJCAR (2012)

Keyphrases

main contribution
computational complexity
learning algorithm
data structure
significant improvement
computationally efficient
theoretical analysis
orders of magnitude
recently developed
database
genetic algorithm
computer vision
feature selection
clustering algorithm
bayesian networks
fusion framework