Mechanisation of AKS Algorithm: Part 1 - The Main Theorem.
Hing-Lun ChanMichael NorrishPublished in: ITP (2015)
Keyphrases
- theoretical analysis
- computational complexity
- preprocessing
- learning algorithm
- worst case
- optimal solution
- k means
- detection algorithm
- np hard
- computationally efficient
- simulated annealing
- computational cost
- significant improvement
- recognition algorithm
- selection algorithm
- tree structure
- classification algorithm
- optimization algorithm
- improved algorithm
- experimental evaluation
- image segmentation
- expectation maximization
- high accuracy
- experimental study
- mathematical model
- search space
- similarity measure
- machine learning
- data sets