Mechanically Verified Self-Stabilizing Hierarchical Algorithms.

I. S. W. B. Prasetya

Published in: TACAS (1997)

Keyphrases

learning algorithm
data sets
recently developed
data structure
computational cost
computational complexity

genetic algorithm
artificial intelligence
image processing
clustering algorithm
database

information retrieval
association rules
data mining
state space
machine learning algorithms

hierarchical structure
times faster
neural network
memory requirements
computer vision algorithms