Login / Signup
The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk).
Clark W. Barrett
Leonardo Mendonça de Moura
Silvio Ranise
Aaron Stump
Cesare Tinelli
Published in:
Haifa Verification Conference (2010)
Keyphrases
</>
statistical machine translation
neural network
machine translation system
word alignment
machine learning
information technology
evolutionary algorithm
selected papers
databases
information systems
case study
machine translation