Formal Modeling, Verification, and Analysis of a Distributed Task Execution Algorithm.
Amar NathRajdeep NiyogiPublished in: AINA (1) (2021)
Keyphrases
- preprocessing
- theoretical analysis
- expectation maximization
- matching algorithm
- learning algorithm
- convergence rate
- detection algorithm
- significant improvement
- formal analysis
- recognition algorithm
- optimization algorithm
- segmentation algorithm
- computationally efficient
- simulated annealing
- experimental evaluation
- k means
- input data
- high accuracy
- dynamic programming
- np hard
- multi objective
- computational complexity
- times faster
- face recognition
- decision trees
- selection algorithm
- neural network