A type theory for memory allocation and data layout.
Leaf PetersenRobert HarperKarl CraryFrank PfenningPublished in: POPL (2003)
Keyphrases
- data sets
- data analysis
- data sources
- data processing
- data objects
- sensor data
- high dimensional data
- small number
- data points
- information systems
- complex data
- original data
- multimedia data
- data collection
- computer systems
- prior knowledge
- missing data
- empirical data
- historical data
- data quality
- machine learning
- test data
- data distribution
- experimental data
- theoretical framework
- feature selection
- statistical analysis
- database
- input data
- data mining techniques
- knowledge base
- image data
- knowledge discovery
- xml documents
- probability distribution