Translation Checker

Translation validation of Polychronous Equations with an iLTS Model-checker
Statistical Machine Translation as a Grammar Checker for Persian Language
Chinese Spelling Checker Based on Statistical Machine Translation
Z2SAL: a translation-based model checker for Z
Z2SAL: a translation-based model checker for Z
Using a Grammar Checker for Evaluation and Postprocessing of Statistical Machine Translation
Magnetism And Gravitation As A Result Of Geometric Changes In The Electric Field Caused By The Translation Of The Charges
Magnetism And Gravitation As A Result Of Geometric Changes In The Electric Field Caused By The Translation Of The Charges
Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker
Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker