Correctness kernels of abstract interpretations.

Roberto Giacobazzi Francesco Ranzato

Published in: Inf. Comput. (2014)

Keyphrases

real time
high level
kernel methods
svm classification
case study
feature space
linear combination
kernel function
image pyramids
data sets
neural network
website
artificial neural networks
special case
higher level
gaussian processes