A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
Andrea AspertiWilmer RicciottiClaudio Sacerdoti CoenEnrico TassiPublished in: Log. Methods Comput. Sci. (2012)
Keyphrases
- bi directional
- times faster
- preprocessing
- learning algorithm
- improved algorithm
- np hard
- dynamic programming
- experimental evaluation
- genetic algorithm
- search space
- k means
- significant improvement
- cost function
- objective function
- simulated annealing
- detection algorithm
- segmentation algorithm
- worst case
- image segmentation
- matching algorithm
- expectation maximization
- computational complexity
- bit rate
- input data
- clustering method
- probabilistic model
- similarity measure
- recognition algorithm
- optimal solution