A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints.
Xincai GuTaolue ChenZhilin WuPublished in: IJCAR (2016)
Keyphrases
- data sets
- complex data
- data collection
- data analysis
- training data
- database
- data quality
- raw data
- synthetic data
- computer systems
- end users
- data sources
- input data
- knowledge discovery
- website
- bayesian networks
- noisy data
- statistical analysis
- data acquisition
- statistical methods
- data distribution
- original data
- decision making
- constraint satisfaction
- attribute values
- search engine
- data processing
- small number