Login / Signup
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB.
Ali Abbassi
Nancy A. Day
Derek Rayside
Published in:
CoRR (2019)
Keyphrases
</>
machine translation
statistical machine translation
machine translation system
word alignment
databases
data mining
context sensitive
database
data sets
feature selection
e learning
knowledge base
query translation