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

Effective information behaviour is crucial in all translation competence models but our understanding of how skills develop and translators interact with found online resources still limited. In this article we focus on (needs use) bidirectional who frequently translate into their native (L1) non-native language (L2). The theoretical underpinnings come from studies: (1) needed when cognitive un...

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

In the dynamically changing scientific and academic environment it is rather difficult to imagine efficient communication among professionals in any field across domains unless terminological deficiencies are properly addressed solved. Bridging existing gap implies considering issues of availability terms, work, acceptability responsibility respective authorities, degree erudition actors, perfo...

In this era of globalisation, translation technologies have become more popular in daily communication, the education sector, and industry. It is observed that there a prevalent use machine (MT) among learners. The proper versus abuse MT can be critical issue regarding its role impact on teaching. This exploratory study aims at investigating learners’ instructors’ knowledge MT, experience use, ...