An optimal cut-off algorithm for parameterised refinement checking.
Antti SiirtolaKeijo HeljankoPublished in: Sci. Comput. Program. (2020)
Keyphrases
- dynamic programming
- optimal solution
- improved algorithm
- detection algorithm
- computational complexity
- high accuracy
- learning algorithm
- theoretical analysis
- times faster
- experimental evaluation
- k means
- np hard
- exhaustive search
- significant improvement
- worst case
- computational cost
- closed form
- optimization algorithm
- path planning
- piecewise linear
- globally optimal
- weighting coefficients
- matching algorithm
- classification algorithm
- computationally efficient
- input data
- probabilistic model
- cost function
- search space
- preprocessing
- objective function