An Implicit Algorithm for Finding Steady States and its Application to FSM Verification.
Gagan HasteerAnmol MathurPrithviraj BanerjeePublished in: DAC (1998)
Keyphrases
- detection algorithm
- preprocessing
- computational complexity
- experimental study
- cost function
- learning algorithm
- k means
- experimental evaluation
- optimal solution
- high accuracy
- computational cost
- matching algorithm
- ant colony optimization
- selection algorithm
- estimation algorithm
- clustering method
- method finds
- optimization algorithm
- segmentation algorithm
- artificial neural networks
- theoretical analysis
- expectation maximization
- particle swarm optimization
- input data
- linear programming
- scheduling problem
- segmentation method
- search space
- times faster
- improved algorithm
- moving objects
- single pass
- search algorithm