Program Specification and Data Refinement in Type Theory.
Zhaohui LuoPublished in: TAPSOFT, Vol.1 (1991)
Keyphrases
- data sets
- data sources
- data processing
- database
- complex data
- synthetic data
- data analysis
- training data
- data structure
- raw data
- image data
- theoretical framework
- statistical analysis
- small number
- data points
- original data
- high quality
- computer programs
- experimental data
- sensor data
- data objects
- historical data
- data integration
- data collection
- input data
- data mining techniques
- xml documents
- bayesian networks
- website
- information systems
- machine learning