State Space Exploration of Object-Based Systems Using Equivalence Reduction and the Sweepline Method.
Charles A. LakosLars Michael KristensenPublished in: ATVA (2005)
Keyphrases
- clustering method
- high precision
- significant improvement
- state space
- high accuracy
- classification method
- cost function
- information retrieval
- dynamic programming
- experimental evaluation
- management system
- edge detection
- detection method
- detection algorithm
- optimization method
- complex systems
- optimization algorithm
- computational cost
- multiresolution
- preprocessing
- objective function