A Verified Algorithm for Deciding Pattern Completeness.
René ThiemannAkihisa YamadaPublished in: FSCD (2024)
Keyphrases
- detection algorithm
- dynamic programming
- learning algorithm
- optimization algorithm
- optimal solution
- preprocessing
- k means
- tree structure
- search space
- experimental evaluation
- times faster
- linear programming
- computational complexity
- classification algorithm
- experimental study
- similarity measure
- input data
- estimation algorithm
- convex hull
- memory requirements
- convergence rate
- single pass
- recognition algorithm
- improved algorithm
- matching algorithm
- computationally efficient
- expectation maximization
- worst case
- np hard
- significant improvement
- artificial neural networks
- data structure
- feature extraction