Extending the scope of translation validation by augmenting path based equivalence checkers with SMT solvers.
Kunal BanerjeeChittaranjan A. MandalDipankar SarkarPublished in: VDAT (2014)
Keyphrases
- statistical machine translation
- modulo theories
- machine translation
- machine translation system
- word alignment
- phrase based smt
- cross language information retrieval
- query translation
- game playing
- constraint problems
- translation model
- neural network
- sat solvers
- target language
- cross language
- parallel corpora
- spectral clustering
- language model
- information extraction