Verification of a Generative Separation Kernel.
Inzemamul HaqueDeepak D'SouzaHabeeb PArnab KunduGanesh BabuPublished in: CoRR (2020)
Keyphrases
- kernel function
- kernel methods
- model checking
- generative model
- data driven
- feature space
- component analysis
- support vector
- sparse kernel
- unsupervised learning
- fisher kernel
- kernel regression
- formal verification
- convolution kernel
- asynchronous circuits
- kernel matrix
- reproducing kernel hilbert space
- kernel learning
- kernel machines
- face verification
- multiple kernel learning
- bag of words
- discriminative methods
- text classification
- neural network