Improving Constant-Coefficient Multiplier Verification by Partial Product Identification.
Chao-Yue LaiChung-Yang HuangKei-Yong KhooPublished in: DATE (2008)
Keyphrases
- person identification
- model checking
- product design
- fourier coefficients
- product development
- life cycle
- floating point
- face verification
- product line
- automatic identification
- decision trees
- database
- gait recognition
- production planning
- formal verification
- product recommendation
- feature selection
- computer vision
- verification method
- neural network