Unifiers as equivalences: proof-relevant unification of dependently typed data.
Jesper CockxDominique DevrieseFrank PiessensPublished in: ICFP (2016)
Keyphrases
- data sets
- data sources
- data processing
- image data
- data acquisition
- data analysis
- pairwise
- input data
- original data
- experimental data
- spatial data
- data collection
- database
- higher order
- small number
- knowledge discovery
- data points
- prior knowledge
- training data
- sensor data
- application domains
- feature space
- data distribution
- network structure
- databases
- noisy data
- historical data
- theorem proving