Using the Alloy Analyzer to Verify Data Refinement in Z.
Christie BoltonPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- data sets
- data collection
- data acquisition
- training data
- data analysis
- synthetic data
- original data
- raw data
- high quality
- database
- sensor data
- input data
- data quality
- multimedia data
- data distribution
- high dimensional data
- statistical analysis
- historical data
- data processing
- small number
- image data
- knowledge discovery
- prior knowledge
- real world
- computer systems
- missing data
- data sources
- data structure
- network structure
- database systems
- machine learning
- neural network
- complex data
- databases