Often, the training procedure for statistical machine translation models is based on maximum likelihood or related criteria. A general problem of this approach is that there is only a loose relation to the final translation quality on unseen text. In this paper, we analyze various training criteria which directly optimize translation quality. These training criteria make use of recently propose...

We study “classical proofs as programs” paradigm in CallBy-Value (CBV) setting. Specifically, we show the CBV normalization for CND (Parigot 92) can be simulated by the cut-elimination procedure for LKQ (Danos-Joinet-Schellinx 93), namely the q-protocol. We use proof-term assignment system to prove this fact. The term calculus for CND we use follows Parigot’s λμ-calculus with new CBV normalizat...

This paper presents a novel training algorithm for a linearly-scored block sequence translation model. The key component is a new procedure to directly optimize the global scoring function used by a SMT decoder. No translation, language, or distortion model probabilities are used as in earlier work on SMT. Therefore our method, which employs less domain specific knowledge, is both simpler and m...

Naturalization is a translation procedure that is predominantly utilized in the translation of English medical terms into Indonesian. This study focuses on identifying types of naturalization involving the adjustment of spelling and pronunciation and investigating whether naturalization has been appropriately applied based on the rules in the Indonesian general guidance of term formation. The d...

The paper presents a formal algebraic framework, where model translations can be specified in a truly generic way: the source and the target metamodels are parameters of the entire procedure. In more detail, we specify the operation of model translation as a special diagram operation well known in category theory under the name of pull-back. At the heart of the approach is a mapping between the...

Translation plays a vital role in our lives as it bridges the linguistic and cultural barriers world rapidly taking form of global village. It is notable that language into which highest number books are translated English. This also true for Holy Qur’an, has many available English translations. However, conspicuous feature inaccuracy inconsistency translation due to wrong selection strategies ...

The purpose of this paper is to investigate the effect emotions and some personality traits on translation performance. It builds Rojo Ramos’s (2016) findings broadly based their methodology, but introduces methodological changes. replicates experiment with students in another language pair (English L2>Macedonian L1) following three step procedure: resiliency test, translation-bogus feedback...

Xia’s algorithm consists of a reduction algorithm and a translation procedure both originally used to tackle the xed point property for ordered sets. We present results that show that the translation procedure allows access to a much wider range of problems and results showing that the algorithm is very e cient when applied to the xed point property in ordered sets or for order=graph isomorphis...

Naturalization is a translation procedure that is predominantly utilized in the translation of English medical terms into Indonesian. This study focuses on identifying types of naturalization involving the adjustment of spelling and pronunciation and investigating whether naturalization has been appropriately applied based on the rules in the Indonesian general guidance of term formation. The d...