Sign in

Proving MCAPI executions are correct using SMT.

Yu HuangEric MercerJay McCarthy
Published in: ASE (2013)
Keyphrases
  • data sets
  • statistical machine translation
  • e learning
  • data structure
  • digital libraries
  • special case