Data Definitions in the ACL2 Sedan.
Harsh Raju ChamarthiPeter C. DillingerPanagiotis ManoliosPublished in: ACL2 (2014)
Keyphrases
- data sets
- raw data
- database
- small number
- application domains
- data processing
- data quality
- synthetic data
- data collection
- data sources
- data analysis
- data mining
- data points
- complex data
- big data
- noisy data
- test data
- training data
- high quality
- missing data
- database systems
- experimental data
- missing values
- temporal information
- data structure
- neural network
- image data
- xml documents