Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription.
Mikolás JanotaRadu GrigoreJoão Marques-SilvaPublished in: JELIA (2010)
Keyphrases
- cost function
- learning algorithm
- computational complexity
- preprocessing
- detection algorithm
- dynamic programming
- times faster
- objective function
- search space
- genetic algorithm
- optimization algorithm
- high accuracy
- experimental evaluation
- theoretical analysis
- worst case
- computational cost
- image segmentation
- recognition algorithm