Mechanically Verified Self-Stabilizing Hierarchical Algorithms.
I. S. W. B. PrasetyaPublished 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