Soundness of data refinement for a higher-order imperative language.
David A. NaumannPublished in: Theor. Comput. Sci. (2002)
Keyphrases
- higher order
- data analysis
- data sets
- data collection
- prior knowledge
- database
- synthetic data
- high quality
- data processing
- image data
- complex data
- raw data
- high order
- markov random field
- small number
- data sources
- training data
- data points
- xml documents
- relational databases
- data structure
- attribute values
- data distribution
- image segmentation
- machine learning
- data quality
- databases