Using B and ProB for Data Validation Projects.
Dominik HansenDavid SchneiderMichael LeuschelPublished in: ABZ (2016)
Keyphrases
- data sets
- data processing
- data distribution
- database
- high dimensional data
- training data
- case study
- genetic algorithm
- missing data
- knowledge discovery
- image data
- small number
- synthetic data
- experimental data
- application domains
- spatial data
- noisy data
- historical data
- data collection
- input data
- prior knowledge
- data analysis
- high quality
- clustering algorithm
- metadata
- data mining
- real time