SMT-Based Checking of SOLOIST over Sparse Traces.

Marcello Maria Bersani Domenico Bianculli Carlo Ghezzi Srdan Krstic Pierluigi San Pietro

Published in: FASE (2014)

Keyphrases

high dimensional
sparse matrix
sparse data
artificial intelligence
computer vision
multiscale
dictionary learning
consistency checking
neural network
information retrieval
feature selection
case study
least squares
statistical machine translation
signal recovery