Zero-shot translation is the task of translating between a language pair where no aligned data for the pair is provided during training. In this work we employ a model that creates paraphrases which are written in the style of another existing text. Since we provide the model with no paired examples from the source style to the target style during training, we call this task zero-shot style tra...

Domain adaptation is a key feature in Machine Translation. It generally encompasses terminology, domain and style adaptation, especially for human postediting workflows in Computer Assisted Translation (CAT). With Neural Machine Translation (NMT), we introduce a new notion of domain adaptation that we call “specialization” and which is showing promising results both in the learning speed and in...

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...

We have implemented an interactive, Web-based, chat-style machine translation system, supporting speech recognition and synthesis, localor thirdparty correction of speech recognition and machine translation output, and online learning. The underlying client-server architecture, implemented in Java, provides remote, distributed computation for the translation and speech subsystems. We further de...

CPS transformation is an important tool in the compilation of functional programming languages. For strict languages, such as our web programming language “Rinso” or Microsoft’s F#, monadic expressions can help with structuring and composing computations. To apply a CPS transformation in the compilation process of such a language, we integrate explicit monadic abstraction in a call-by-value sou...

We present a new translation model that include undecorated hierarchical-style phrase rules, decorated source-syntax rules, and partially decorated rules. Results show an increase in translation performance of up to 0.8% BLEU for German–English translation when trained on the news-commentary corpus, using syntactic annotation from a source language parser. We also experimented with annotation f...

Recently, image-to-image translation has been made much progress owing to the success of conditional Generative Adversarial Networks (cGANs). However, it’s still very challenging for translation tasks with the requirement of high-level visual information conversion, such as phototo-caricature translation that requires satire, exaggeration, lifelikeness and artistry. We present an approach for l...

The purpose of this study is to look into post-Greimasian semiotics and investigate how this tensive model can be applied to Rustam and Sohrab in Ferdowsi’s Shahnameh and its translation by Arnold. The tensive model, considering the two dimensions of intensity and extent, investigates meaning formation and production. Accordingly, this research intends to analyze the semiotic ...