BDD Based Method for Fast Equivalence Checking.
P. W. Chandana PrasadAli AssiMohamed RaseenAdnan HarbPublished in: International Conference on Computational Intelligence (2004)
Keyphrases
- high accuracy
- synthetic data
- significant improvement
- experimental evaluation
- neural network
- optimization method
- fully automatic
- detection method
- optimization algorithm
- theoretical analysis
- computationally efficient
- cost function
- preprocessing
- similarity measure
- prior knowledge
- artificial neural networks
- detection algorithm
- clustering method
- feature extraction
- image segmentation