Proving MCAPI executions are correct using SMT.

Yu Huang Eric Mercer Jay McCarthy

Published in: ASE (2013)

Keyphrases

data sets
statistical machine translation
e learning
data structure
digital libraries
special case