Verifying the Output of a Distributed Algorithm Using Certification.
Kim VöllingerPublished in: RV (2017)
Keyphrases
- selection algorithm
- worst case
- improved algorithm
- preprocessing
- dynamic programming
- experimental evaluation
- high accuracy
- matching algorithm
- detection algorithm
- computationally efficient
- learning algorithm
- input data
- computational cost
- times faster
- optimization algorithm
- theoretical analysis
- convergence rate
- significant improvement
- objective function
- search space
- linear programming
- recognition algorithm
- verification method
- tree structure
- expectation maximization
- np hard
- cooperative
- reinforcement learning
- bayesian networks