An Algorithm for Checking Incomplete Proof Objects in Type Theory with Localization and Unification.
Lena MagnussonPublished in: TYPES (1995)
Keyphrases
- noisy data
- dynamic programming
- preprocessing
- learning algorithm
- computational cost
- experimental evaluation
- k means
- optimal solution
- optimization algorithm
- times faster
- expectation maximization
- similarity measure
- particle swarm optimization
- linear programming
- tree structure
- computationally efficient
- localization algorithm
- np hard
- significant improvement
- computational complexity
- worst case
- d objects
- cost function
- matching algorithm
- objective function
- input data
- clustering method
- search algorithm
- recognition algorithm
- improved algorithm
- incomplete data
- genetic algorithm