Towards the Formal Verification of Wigderson's Algorithm.
Siraphob PhipathananunthPublished in: SPLASH Companion (2023)
Keyphrases
- computational complexity
- computational cost
- optimization algorithm
- learning algorithm
- search strategy
- search space
- worst case
- detection algorithm
- objective function
- preprocessing
- times faster
- matching algorithm
- probabilistic model
- segmentation algorithm
- formal verification
- recognition algorithm
- similarity measure
- expectation maximization
- particle swarm optimization
- dynamic programming
- cost function
- search algorithm
- optimal solution