Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms.
Allyx FontaineAkka ZemmariPublished in: ICTAC (2016)
Keyphrases
- orders of magnitude
- multi agent
- optimization problems
- data structure
- significant improvement
- learning algorithm
- recently developed
- data mining algorithms
- distributed systems
- cooperative
- lightweight
- computationally efficient
- computational efficiency
- graph theory
- computational cost
- feature selection
- metaheuristic
- artificial intelligence
- genetic algorithm
- distributed computation