Dynamic Cut-Off Algorithm for Parameterised Refinement Checking.
Antti SiirtolaKeijo HeljankoPublished in: FACS (2018)
Keyphrases
- computational complexity
- experimental evaluation
- improved algorithm
- dynamic programming
- optimization algorithm
- learning algorithm
- optimal solution
- high accuracy
- preprocessing
- cost function
- np hard
- detection algorithm
- estimation algorithm
- memory requirements
- path planning
- particle swarm optimization
- simulated annealing
- worst case
- computational cost
- input data
- computationally efficient
- segmentation algorithm
- energy function
- matching algorithm
- multi objective
- times faster
- search space
- recognition algorithm
- reinforcement learning
- neural network