Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.
Chong GaoTaolue ChenZhilin WuPublished in: SOFSEM (2019)
Keyphrases
- data sets
- user defined
- small fraction
- small number
- input data
- data collection
- data processing
- high quality
- data analysis
- missing data
- synthetic data
- data points
- knowledge discovery
- machine learning
- database
- raw data
- probability distribution
- data sources
- image data
- knowledge base
- data mining techniques
- knowledge representation
- end users
- high dimensional data
- prior knowledge
- data distribution
- databases
- feature space
- original data
- database systems