Login / Signup
Automatic Generation of Loop-Invariants for Matrix Operations.
Diego Fabregat-Traver
Paolo Bientinesi
Published in:
CoRR (2014)
Keyphrases
</>
rows and columns
automatically generate
matrix multiplication
covariance matrix
positive definite
learning algorithm
image processing
multiscale
affine invariant
information systems
feature selection
image segmentation
database systems
moment invariants
automatically generating