s |s| and some user feedback f , we must find the best target language trans- We can make the naïve Bayes' assumption that s and f are statistically independent variables given t. This results in the basic equation for ITP with error correction (Ortiz-Martínez, 2011): where, as we will see in Section 3.2, distribution Pr(t | s) can be approximated by a machine translation model, and Pr(f | t) by an error correction model that measures the degree of compatibility between f and t. Note that by using a probability distribution Pr(f | t), any translation is compatible with a given user feedback to some degree.
the translation returned by Equation (1) may still not contain the segments validated by the user; we need to identify the sub-string of the returned sentence that corresponds to the each of the segments validated by the user.