Natural proofs for structure, data, and separation.
Xiaokang QiuPranav GargAndrei StefanescuParthasarathy MadhusudanPublished in: PLDI (2013)
Keyphrases
- data sets
- data collection
- training data
- high quality
- data analysis
- data sources
- database
- raw data
- data processing
- application domains
- experimental data
- domain experts
- synthetic data
- computer systems
- knowledge discovery
- relational databases
- original data
- statistical methods
- temporal information
- network structure
- noisy data
- real world
- graph representation
- sensor data
- missing data
- high dimensional data
- small number
- image data
- knowledge base
- information retrieval
- machine learning