Faster projection based methods for circuit level verification.
Chao YanMark R. GreenstreetPublished in: ASP-DAC (2008)
Keyphrases
- database
- neural network
- machine learning
- artificial intelligence
- qualitative and quantitative
- significant improvement
- levels of abstraction
- cross validation
- computationally efficient
- data mining techniques
- computational cost
- preprocessing
- computational complexity
- social networks
- databases
- high speed
- empirical studies
- face recognition
- benchmark datasets
- website