Certified homotopy tracking using the Krawczyk method.

Timothy Duff Kisun Lee

Published in: ISSAC (2024)

Keyphrases

experimental evaluation
cost function
detection method
dynamic programming
computational cost
high precision
kalman filter
support vector machine
clustering method
genetic algorithm
decision trees
multiscale
high accuracy
particle filter
detection algorithm
synthetic data