Formalisation of an Adaptive State Counting Algorithm.
Robert SachtlebenPublished in: Arch. Formal Proofs (2019)
Keyphrases
- learning algorithm
- optimization algorithm
- k means
- experimental evaluation
- single pass
- classification algorithm
- probabilistic model
- computational cost
- search space
- matching algorithm
- computational complexity
- optimal solution
- objective function
- high accuracy
- experimental study
- clustering method
- improved algorithm
- segmentation algorithm
- expectation maximization
- particle swarm optimization
- dynamic programming
- cost function
- preprocessing
- particle filter
- input data
- least squares
- detection algorithm
- hidden markov models
- ant colony optimization
- moving objects
- selection algorithm
- hardware implementation
- image segmentation