Dependently-Typed Data Plane Programming.
Matthias EichholzEric Hayden CampbellMatthias KrebsNate FosterMira MeziniPublished in: CoRR (2022)
Keyphrases
- data sets
- data structure
- statistical analysis
- data collection
- raw data
- noisy data
- knowledge discovery
- experimental data
- original data
- higher order
- image data
- data points
- high dimensional
- information systems
- machine learning
- historical data
- complex data
- statistical methods
- application domains
- spatial data
- high dimensional data
- data processing
- probability distribution
- data analysis
- high quality