Dargent: A Silver Bullet for Verified Data Layout Refinement.
Zilin ChenAmbroise LafontLiam O'ConnorGabriele KellerCraig McLaughlinVincent JacksonChristine RizkallahPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- data sets
- raw data
- data sources
- data processing
- data analysis
- input data
- prior knowledge
- statistical analysis
- data collection
- knowledge discovery
- application domains
- high quality
- data distribution
- data quality
- database
- experimental data
- sensor data
- high dimensional data
- data mining methods
- data mining techniques
- image data
- data points
- wireless sensor networks
- training data
- learning algorithm
- information retrieval
- databases