Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm.
Camille CotiCharles LakosLaure PetrucciPublished in: CoRR (2016)
Keyphrases
- learning algorithm
- improved algorithm
- times faster
- cost function
- preprocessing
- experimental evaluation
- objective function
- similarity measure
- estimation algorithm
- expectation maximization
- computational cost
- dynamic programming
- computational complexity
- search space
- theoretical analysis
- detection algorithm
- experimental study
- matching algorithm
- optimal solution
- significant improvement
- k means
- markov random field
- artificial neural networks
- optimization algorithm
- classification algorithm
- path planning
- cooperative
- single pass