A New Simulation-Based Property Checking Algorithm Based on Partitioned Alternative Search Space Traversal.
Qingwei WuMichael S. HsiaoPublished in: IEEE Trans. Computers (2006)
Keyphrases
- search space
- learning algorithm
- worst case
- search strategy
- times faster
- high accuracy
- cost function
- optimal solution
- computational complexity
- dynamic programming
- tree structure
- simulated annealing
- linear programming
- global optimum
- preprocessing
- improved algorithm
- classification algorithm
- theoretical analysis
- expectation maximization
- np hard
- k means
- search algorithm
- computationally efficient
- data sets
- detection algorithm
- image registration
- data structure
- significant improvement
- solution space
- evolutionary algorithm