Decidable logics combining heap structures and data.
P. MadhusudanGennaro ParlatoXiaokang QiuPublished in: POPL (2011)
Keyphrases
- data sets
- data structure
- data collection
- data analysis
- raw data
- prior knowledge
- small number
- data processing
- missing data
- data sources
- data distribution
- input data
- data quality
- noisy data
- integrity constraints
- attribute values
- statistical analysis
- data mining techniques
- data points
- training data
- data mining
- neural network