A Simple Functional Presentation and an Inductive Correctness Proof of the Horn Algorithm.
António RavaraPublished in: HCVS (2018)
Keyphrases
- experimental evaluation
- np hard
- detection algorithm
- dynamic programming
- optimization algorithm
- learning algorithm
- provably correct
- similarity measure
- improved algorithm
- objective function
- k means
- computational complexity
- search space
- convex hull
- matching algorithm
- preprocessing
- high accuracy
- significant improvement
- input data
- cost function
- simulated annealing
- path planning
- times faster
- computational cost
- evolutionary algorithm
- propositional logic