Loopy: Programmable and Formally Verified Loop Transformations.

Kedar S. Namjoshi Nimit Singhania

Published in: SAS (2016)

Keyphrases

low cost
belief propagation
graphical models
data mining
data structure
general purpose
information retrieval
artificial intelligence
feature selection
dynamic programming
computational intelligence
high speed
markov random field
approximate inference