A Normalization Method for Arithmetic Data-Path Verification.
Markus WedlerDominik StoffelRaik BrinkmannWolfgang KunzPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2007)
Keyphrases
- data sets
- data collection
- data analysis
- complex data
- normalization method
- high quality
- end users
- data quality
- data objects
- database
- data structure
- historical data
- neural network
- raw data
- data distribution
- experimental data
- application domains
- synthetic data
- statistical analysis
- training data
- image data
- prior knowledge
- high dimensional data
- privacy preserving
- missing data
- computer systems
- model checking
- small number
- semi supervised
- noisy data
- data points
- social media