Data Refinement in Isabelle/HOL.
Florian HaftmannAlexander KraussOndrej KuncarTobias NipkowPublished in: ITP (2013)
Keyphrases
- data sets
- data collection
- data analysis
- data sources
- machine learning
- high quality
- complex data
- knowledge discovery
- data quality
- data structure
- data points
- image data
- statistical analysis
- synthetic data
- big data
- historical data
- noisy data
- database
- original data
- data acquisition
- data distribution
- data mining algorithms
- missing data
- data processing
- information systems
- artificial intelligence
- data mining
- databases