Streamlining Whole Function Vectorization in C Using Higher Order Vector Semantics.

Gil Rapaport Ayal Zaks Yosi Ben-Asher

Published in: IPDPS Workshops (2015)

Keyphrases

higher order
higher order logic
natural images
pairwise
line segments
data sets
neural network
high order
search engine
image segmentation
probabilistic model
hough transform
default reasoning
formal semantics
low order
operational semantics