An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm.
Robert SachtlebenPublished in: ICTSS (2020)
Keyphrases
- experimental evaluation
- preprocessing
- cost function
- detection algorithm
- optimization algorithm
- k means
- expectation maximization
- similarity measure
- experimental study
- high accuracy
- optimal solution
- dynamic programming
- probabilistic model
- worst case
- times faster
- computational complexity
- simulated annealing
- input data
- particle swarm optimization
- support vector
- objective function
- learning algorithm
- path planning
- convergence rate
- selection algorithm
- estimation algorithm