Partial Correctness of GCD Algorithm.
Ievgen IvanovArtur KornilowiczMykola S. NikitchenkoPublished in: Formaliz. Math. (2018)
Keyphrases
- preprocessing
- experimental evaluation
- learning algorithm
- optimization algorithm
- improved algorithm
- high accuracy
- detection algorithm
- theoretical analysis
- computationally efficient
- computational complexity
- times faster
- matching algorithm
- experimental study
- objective function
- path planning
- convergence rate
- tree structure
- ant colony optimization
- selection algorithm
- neural network
- single pass
- image restoration
- expectation maximization
- particle swarm optimization
- input data
- dynamic programming
- hidden markov models
- cost function
- k means
- data structure
- multiscale
- decision trees