An Axiomatic Approach to Binary Logical Relations with Applications to Data Refinement.
Yoshiki KinoshitaPeter W. O'HearnJohn PowerMakoto TakeyamaRobert D. TennentPublished in: TACS (1997)
Keyphrases
- data collection
- data sets
- data analysis
- data points
- training data
- application domains
- data processing
- complex data
- original data
- raw data
- database
- end users
- data structure
- small number
- information systems
- high quality
- missing values
- experimental data
- sensor data
- background knowledge
- synthetic data
- missing data
- statistical analysis
- computer systems
- data sources
- input data
- probability distribution
- machine learning
- historical data