Login / Signup

AltGr-Ergo, a Graphical User Interface for the SMT Solver Alt-Ergo.

Sylvain ConchonMohamed IguernelalaAlain Mebsout
Published in: UITP (2016)
Keyphrases
  • statistical machine translation
  • feature selection
  • image processing
  • similarity measure
  • lower bound
  • natural language processing
  • machine translation
  • word alignment