Verification of Programs That Destructively Manipulate Data.
Ian A. MasonPublished in: Sci. Comput. Program. (1988)
Keyphrases
- data sets
- data collection
- training data
- database
- raw data
- original data
- data distribution
- data mining techniques
- image data
- data analysis
- high quality
- data quality
- databases
- data structure
- data sources
- complex data
- high dimensional data
- synthetic data
- application domains
- data objects
- historical data
- data points
- probability distribution
- knowledge base
- information systems
- machine learning
- neural network