An ASM-Characterization of a Class of Distributed Algorithms.
Andreas GlauschWolfgang ReisigPublished in: Rigorous Methods for Software Construction and Analysis (2009)
Keyphrases
- learning algorithm
- data structure
- optimization problems
- orders of magnitude
- machine learning
- data mining techniques
- computationally efficient
- theoretical analysis
- distributed computation
- search algorithm
- significant improvement
- computational cost
- graph cuts
- times faster
- solution quality
- convex optimization problems