Login / Signup
Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem.
Rudolf Berghammer
Thorsten Hoffmann
Published in:
Sci. Comput. Program. (2000)
Keyphrases
</>
interactive theorem proving
relational databases
kernel function
relational data
feature space
computer programs
imperative programs
linear combination
machine learning
database systems
kernel methods
multiple kernel learning