A Mechanised Proof of an Adaptive State Counting Algorithm.
Robert SachtlebenRobert M. HieronsWen-ling HuangJan PeleskaPublished in: ICTSS (2019)
Keyphrases
- k means
- dynamic programming
- computationally efficient
- search space
- times faster
- optimization algorithm
- experimental evaluation
- simulated annealing
- single pass
- improved algorithm
- significant improvement
- learning algorithm
- optimal solution
- computational complexity
- preprocessing
- cost function
- particle swarm optimization
- segmentation algorithm
- probabilistic model
- detection algorithm
- matching algorithm
- convergence rate
- recognition algorithm
- selection algorithm
- data sets
- worst case
- experimental study
- ant colony optimization
- computational cost
- objective function