Formal Derivation of Spanning Trees Algorithms.

Jean-Raymond Abrial Dominique Cansell Dominique Méry

Published in: ZB (2003)

Keyphrases

spanning tree
orders of magnitude
significant improvement
computational cost
computationally efficient
minimum spanning tree
learning algorithm
computational complexity
worst case
theoretical analysis
machine learning algorithms
computational efficiency
recently developed