OpenMath and SMT-LIB.

James H. Davenport Matthew England Roberto Sebastiani Patrick Trentin

Published in: CoRR (2018)

Keyphrases

statistical machine translation
modulo theories
special case
learning algorithm
knowledge base
image processing
decision trees
multiscale
video sequences
word alignment