Attend and Represent: A Novel View on Algorithm Selection for Software Verification.
Cedric RichterHeike WehrheimPublished in: ASE (2020)
Keyphrases
- learning algorithm
- selection algorithm
- optimization algorithm
- computational cost
- experimental evaluation
- cost function
- high accuracy
- detection algorithm
- k means
- times faster
- recognition algorithm
- improved algorithm
- single pass
- experimental study
- tree structure
- segmentation algorithm
- computationally efficient
- dynamic programming
- significant improvement
- preprocessing
- particle swarm optimization
- linear programming
- theoretical analysis
- worst case
- least squares
- np hard
- classification algorithm
- evolutionary algorithm
- computational complexity
- image sequences
- hardware implementation
- data sets