Completeness in PVS of a Nominal Unification Algorithm.
Mauricio Ayala-RincónMaribel FernándezAna Cristina Rocha OliveiraPublished in: LSFA (2015)
Keyphrases
- learning algorithm
- computational complexity
- cost function
- computational cost
- times faster
- optimization algorithm
- preprocessing
- dynamic programming
- single pass
- detection algorithm
- theoretical analysis
- particle swarm optimization
- significant improvement
- k means
- experimental evaluation
- high accuracy
- linear programming
- evolutionary algorithm
- expectation maximization
- objective function
- theorem proving
- matching algorithm
- tree structure
- neural network
- np hard
- image segmentation
- path planning
- experimental study
- clustering method
- image sequences
- similarity measure
- simulated annealing