An Abstraction Algorithm for the Verification of Generalized C-Slow Designs.
Jason BaumgartnerAnson TrippAdnan AzizVigyan SinghalFlemming AndersenPublished in: CAV (2000)
Keyphrases
- learning algorithm
- segmentation algorithm
- detection algorithm
- cost function
- matching algorithm
- clustering method
- preprocessing
- search space
- high accuracy
- experimental evaluation
- single pass
- improved algorithm
- dynamic programming
- k means
- computational complexity
- optimal solution
- objective function
- np hard
- significant improvement
- probabilistic model
- particle swarm optimization
- theoretical analysis
- optimization algorithm
- similarity measure
- times faster
- memory requirements
- high level
- image segmentation