Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL.
Andreas LochbihlerPublished in: TPHOLs (2009)
Keyphrases
- raw data
- data sets
- data quality
- statistical analysis
- data collection
- historical data
- database
- missing data
- synthetic data
- image data
- high quality
- databases
- neural network
- noisy data
- experimental data
- data analysis
- social media
- data sources
- data processing
- computer systems
- input data
- bayesian networks
- data mining techniques
- spatial data
- open source
- data distribution
- data acquisition
- training data
- original data
- small number
- complex data
- data points