A Separation Logic with Data: Small Models and Automation.
Jens KatelaanDejan JovanovicGeorg WeissenbacherPublished in: IJCAR (2018)
Keyphrases
- data sets
- small number
- data collection
- data quality
- data analysis
- data distribution
- missing data
- image data
- data processing
- high dimensional data
- statistical models
- experimental data
- database
- computer systems
- complex data
- synthetic data
- data objects
- sensor data
- original data
- raw data
- data mining techniques
- training data
- statistical methods
- data streams
- accurate models
- incomplete data
- data mining
- prior knowledge
- first order logic
- complex systems
- data sources
- end users
- labeled data
- knowledge discovery