On the Verification of the Correctness of a Subgraph Construction Algorithm.
Lucas BöltzViorica Sofronie-StokkermansHannes FreyPublished in: VMCAI (1) (2024)
Keyphrases
- search space
- learning algorithm
- dynamic programming
- detection algorithm
- segmentation algorithm
- similarity measure
- preprocessing
- neural network
- times faster
- computational cost
- computationally efficient
- improved algorithm
- matching algorithm
- optimization algorithm
- expectation maximization
- high accuracy
- worst case
- experimental evaluation
- cost function
- k means
- theoretical analysis
- tree structure
- recognition algorithm
- selection algorithm
- evolutionary algorithm