ProvenCore: Towards a Verified Isolation Micro-Kernel.
Stéphane LescuyerPublished in: MILS@HiPEAC (2015)
Keyphrases
- kernel function
- feature space
- kernel regression
- neural network
- kernel methods
- component analysis
- electro mechanical systems
- database
- image processing
- data structure
- artificial neural networks
- knn
- social networks
- information retrieval
- gaussian processes
- decision trees
- reproducing kernel hilbert space
- kernel pca
- positive definite
- support vector
- kernel space
- convolution kernel
- mutual subspace method
- partial least squares regression