A Synthesized Algorithm for Interactive Consistency.
Adrià GascónAshish TiwariPublished in: NASA Formal Methods (2014)
Keyphrases
- preprocessing
- convergence rate
- times faster
- experimental study
- optimization algorithm
- optimal solution
- experimental evaluation
- learning algorithm
- expectation maximization
- dynamic programming
- np hard
- significant improvement
- estimation algorithm
- cost function
- improved algorithm
- tree structure
- detection algorithm
- objective function
- computationally efficient
- computational complexity
- worst case
- computational cost
- search space
- k means
- image sequences
- matching algorithm
- image processing
- genetic algorithm