We introduce a stochastic grammatical channel model for machine translation, that synthesizes several desirable characteristics of both statistical and grammatical machine translation. As with the pure statistical translation model described by Wu (1996) (in which a bracketing transduction grammar models the channel), alternative hypotheses compete probabilistically, exhaustive search of the tr...

Binary translation, the automatic translation of exe-cutable programs from one machine to another, requires analyses and transformations that could be used in a wide variety of tools intended to reverse engineer binary codes. Our approach to binary translation, which is designed to allow both source and target machines to be changed at low cost, is based on a combination of machine descriptions...

An open-source rule-based machine translation system is developed for Scots, a low-resourced minor language closely related to English and spoken in Scotland and Ireland. By concentrating on translation for assimilation (gist comprehension) from Scots to English, it is proposed that the development of dictionaries designed to be used within the Apertium platform will be sufficient to produce tr...

We introduce a stochastic grammatical channel model for machine translation, that synthesizes several desirable characteristics of both statistical and grammatical machine translation. As with the pure statistical translation model described by Wu (1996) (in which a bracketing transduction grammar models the channel), alternative hypotheses compete probabilistically, exhaustive search of the tr...

The system PL permits the translation of abstract proofs of program correctness into programs in a variety of programming languages. A programming language satisfying certain axioms may be the target of such a translation. The system PL also permits the construction and proof of correctness of programs in an abstract programming language, and permits the translation of these programs into corre...

Today, traditional batch translation processes are no longer able to deal with the mass amount of available content. Automated management has become unavoidable. Recent advances in language technologies promise a variety of benefits and support to this automation. On the other hand, from the infrastructural perspective, Cloud computing and service-oriented modeling and architecture provide flex...

this research was conducted to examine whether there was a significant difference between the quality of translations produced by translation students who used bilingual (english to farsi) dictionaries with that of those using monolingual (english to english) dictionaries. to this end, 78 senior undergraduate students of english translation took part in a piloted english proficiency test, 60 of...

The FIDIC (Fédération lnternationale Des lngénieurs Conseils) Conditions of Contract for Construction are widely used in international engineering contracts, and their translation also plays an active role the construction China's own contract texts. Due to complexity variety logical levels modifiers, understanding have become a major challenge. This paper will use functional equivalence theory...

The present corpus-driven study addresses the current situation of translation criticisms published in print or online in the Iranian media. A sample of 17 criticisms (roughly 68,000 words altogether) from a variety of valid media outlets was compiled. Having been categorized into those with, and those without an ex- plicit theoretical framework, the criticisms were examined on two levels...