Beluga: Programming with Dependent Types, Contextual Data, and Contexts.
Brigitte PientkaPublished in: FLOPS (2010)
Keyphrases
- data sets
- data collection
- data structure
- experimental data
- data analysis
- data processing
- image data
- complex data
- original data
- raw data
- data points
- data sources
- high quality
- data mining
- data management
- data mining techniques
- input data
- prior knowledge
- attribute values
- spatial data
- application domains
- information retrieval
- data objects
- noisy data
- database