Partial Correctness of a Factorial Algorithm.
Adrian JaszczakArtur KornilowiczPublished in: Formaliz. Math. (2019)
Keyphrases
- dynamic programming
- learning algorithm
- k means
- experimental evaluation
- search space
- recognition algorithm
- times faster
- preprocessing
- high accuracy
- estimation algorithm
- hidden markov models
- cost function
- objective function
- significant improvement
- simulated annealing
- experimental study
- tree structure
- optimal solution
- hardware implementation
- neural network
- particle swarm optimization
- segmentation algorithm
- optimization algorithm
- detection algorithm
- clustering method
- improved algorithm