Verification of a Generative Separation Kernel.
Inzemamul HaqueDeepak D'SouzaHabeeb PArnab KunduGanesh BabuPublished in: ATVA (2020)
Keyphrases
- kernel function
- model checking
- generative model
- support vector
- data driven
- kernel methods
- reproducing kernel hilbert space
- component analysis
- fisher kernel
- convolution kernel
- linear combination
- verification method
- multiple kernel learning
- multi class
- sparse kernel
- bayesian networks
- string kernels
- kernel matrix
- kernel space
- mutual subspace method
- formal verification
- discriminative learning
- face verification
- information retrieval
- support vector machine
- object recognition
- genetic algorithm