Automating Separation Logic with Trees and Data.
Ruzica PiskacThomas WiesDamien ZuffereyPublished in: CAV (2014)
Keyphrases
- synthetic data
- data collection
- data processing
- data sets
- data analysis
- image data
- database
- high quality
- complex data
- data sources
- data quality
- knowledge discovery
- raw data
- data mining
- experimental data
- computer systems
- high dimensional data
- classification trees
- databases
- statistical analysis
- logic programming
- neural network
- machine learning
- data points
- xml documents
- feature selection