Semantics and Data Refinement of Invariant Based Programs.
Viorel PreoteasaRalph-Johan BackPublished in: Arch. Formal Proofs (2010)
Keyphrases
- data sets
- database
- raw data
- high quality
- synthetic data
- image data
- data quality
- data analysis
- high dimensional data
- databases
- spatial data
- data collection
- small number
- data points
- data management
- data mining techniques
- input data
- data sources
- data structure
- knowledge discovery
- experimental data
- data distribution
- statistical methods
- neural network
- original data