Keyphrases
- operating system
- open source
- kernel function
- theorem proving
- feature space
- convolution kernel
- support vector
- linear logic
- machine learning
- mutual subspace method
- db universal database
- kernel regression
- theorem prover
- database
- component analysis
- multiple kernel learning
- virtual machine
- partial least squares regression