A Kernel Specification Formalism with Higher-Order Parameterization.
Donald SannellaAndrzej TarleckiPublished in: ADT (1990)
Keyphrases
- higher order
- transition systems
- formal language
- action language
- natural images
- high order
- kernel function
- kernel methods
- pairwise
- high level
- feature space
- operational semantics
- support vector
- mutual subspace method
- markov random field
- conceptual model
- convolution kernel
- similarity function
- formal specification
- representation language
- specification language
- kernel machines
- low order
- conditional random fields
- neural network
- asynchronous circuits
- kernel regression
- formal model
- positive definite
- kernel matrix
- business rules
- gaussian processes
- semi supervised
- knowledge representation
- multiscale
- feature selection