Implementing resource-aware safe assembly for kernel probes as a dependently-typed DSL.
Ilya YanokNathaniel NystromPublished in: TyDe@ICFP (2018)
Keyphrases
- kernel function
- lambda calculus
- kernel methods
- higher order
- genetic algorithm
- convolution kernel
- component analysis
- input space
- kernel matrix
- perceptron learning
- visually guided
- positive definite
- kernel density estimation
- kernel learning
- gaussian processes
- feature space
- programming language
- reproducing kernel hilbert space
- support vector
- multiscale
- printed circuit boards
- training data
- similarity measure
- machine learning
- database