Proving the Correctness of the Implementation of a Control-Command Algorithm.
Olivier BouissouPublished in: SAS (2009)
Keyphrases
- preprocessing
- learning algorithm
- times faster
- dynamic programming
- optimal solution
- optimization algorithm
- significant improvement
- np hard
- experimental evaluation
- objective function
- k means
- high accuracy
- recognition algorithm
- detection algorithm
- segmentation algorithm
- computational cost
- neural network
- input data
- control system
- search space
- matching algorithm
- computational complexity
- face recognition
- improved algorithm
- hardware implementation
- estimation algorithm
- expectation maximization
- theoretical analysis
- experimental study
- parallel implementation