Development of Rabin's Choice Coordination Algorithm in Event-B.
Emre YilmazThai Son HoangPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- dynamic programming
- high accuracy
- preprocessing
- objective function
- probabilistic model
- times faster
- search space
- experimental evaluation
- cost function
- detection algorithm
- linear programming
- worst case
- computational cost
- theoretical analysis
- segmentation algorithm
- computational complexity
- convergence rate
- learning algorithm
- tree structure
- convex hull
- estimation algorithm
- significant improvement
- input data
- np hard
- multi objective
- ant colony optimization
- k means
- artificial neural networks
- cooperative
- bayesian networks
- selection algorithm
- improved algorithm
- genetic algorithm
- multiple agents