Taking both OOXML and UOF standards as examples, we empirically evaluate the interoperability of office document formats from the view of translation practice. With the aim of covering the complete feature set of OOXML and UOF, a novel UOF-Open XML Translator is developed in this study. Thorough experiments demonstrate that our translator implements bidirectional conversion of 80.4% features pe...

As noted in the proposal, our first task is to evaluate PSL as process specification interchange standard using Vite as a benchmark application. As for this initial investigation, we have built a sample demonstration using PSL as an interchange format to exchange information between Primavera’s P3 and Vite. (Primavera is a project scheduling software widely used in the construction industry.) P...

We present the Prolog Cafe system that translates Prolog into Java via the WAM. Prolog Cafe provides multi-threaded Prolog engines. A Prolog Cafe thread seem to be conceptually an independent Prolog evaluator and communicates with each other through shared Java objects. Prolog Cafe also has the advantages of portability, extensibility, smooth interoperation with Java, and modularity. In perform...

The Candide project has two objectives. First, we want to develop a fully-automatic, large vocabulary, French-to-English translation system. Second, we want to develop an interactive translator 's workstation that will increase the speed and productivity of a human translator. The philosophy of the project is to combine, within a probabilistic framework, both statistical information acquired au...

Comtrans algebras are unital modules over a commutative ring R, equipped with two basic trilinear operations: a commutator [x, y, z] satisfying the left alternative identity [x, x, y] = 0, (1.1) and a translator 〈x, y, z〉 satisfying the Jacobi identity 〈x, y, z〉+ 〈y, z, x〉+ 〈z, x, y〉 = 0, (1.2) such that together the commutator and translator satisfy the comtrans identity [x, y, x] = 〈x, y, x〉....

We present a trusted source translator that transforms total functions defined in the specification language of the HOL theorem prover to simple intermediate code. This translator eliminates polymorphism by code specification, removes higher-order functions through closure conversion, interprets pattern matching as conditional expressions, etc. The target intermediate language can be further tr...

We propose an algorithm for creating a semantics-based, parameterized translator from the family of big-step modeling languages (BSMLs) to the input language of the model checker SMV. Our translator takes as input a specification in the CHTS notation and a set of user-provided parameters that encode the specification’s semantics; it produces an SMV model suitable for model checking. We use a mo...

In the Skype Translator project, we set ourselves the ambitious goal of enabling successful open-domain conversations between Skype users in different parts of the world, speaking different languages. Building such technology is more than just stitching together the component parts; it also requires work in allowing the parts to talk with one another. In addition to allowing speech communicatio...

INTRODUCTION Translation quality is a central issue in the translation profession and one of the most controversial topics in translation studies today. In one aspect, translation quality is a direct result of the translation process, which cannot be separated from the principal actor in the process, namely the translator. Subsequently, translator competence is always called into question whene...

Misspelled words have a direct impact on the final quality obtained by Statistical Machine Translation (SMT) systems as the input becomes noisy and unpredictable. This paper presents some improvement strategies for translating real-life noisy input. The proposed strategies are based on a preprocessing step consisting in a character-based translator (MT) from noisy into cleaned text. The use of ...