A verified LLL algorithm.
Jose DivasónSebastiaan J. C. JoostenRené ThiemannAkihisa YamadaPublished in: Arch. Formal Proofs (2018)
Keyphrases
- k means
- learning algorithm
- linear programming
- experimental evaluation
- cost function
- computational complexity
- objective function
- times faster
- similarity measure
- np hard
- worst case
- space complexity
- selection algorithm
- ant colony optimization
- optimization algorithm
- computationally efficient
- particle swarm optimization
- high accuracy
- optimal solution
- computational cost
- search space
- preprocessing
- denoising
- image segmentation
- expectation maximization
- neural network
- feature extraction
- experimental study
- significant improvement
- matching algorithm
- search algorithm