Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data.
Bin LiZhenhao TangJianhua ZhaoPublished in: Internetware (2015)
Keyphrases
- data sets
- data collection
- data analysis
- synthetic data
- data processing
- data structure
- database
- data mining techniques
- raw data
- machine learning
- image data
- training data
- statistical analysis
- original data
- complex data
- data sources
- small number
- xml documents
- input data
- website
- data acquisition
- databases
- noisy data
- data quality
- historical data