Program Specification and Data Refinement in Type Theory.
Zhaohui LuoPublished in: Math. Struct. Comput. Sci. (1993)
Keyphrases
- data sets
- data processing
- high quality
- knowledge discovery
- empirical data
- database
- data distribution
- background knowledge
- image data
- data structure
- training data
- end users
- complex data
- small number
- statistical analysis
- experimental data
- data acquisition
- machine learning
- data objects
- raw data
- statistical methods
- user defined
- high level
- high dimensional data
- input data
- data analysis
- prior knowledge
- data points