In this paper, we introduce a set of tools for providing user-friendly explanations in an explanation-based constraint programming system. The idea is to represent the constraints of a problem as an hierarchy (a tree). Users are then represented as a set of understandable nodes in that tree (a cut). Classical explanations (sets of system constraints) just need to get projected on that represent...

Text prediction is a form of interactive machine translation that is well suited to skilled translators. In principle it can assist in the production of a target text with minimal disruption to a translator’s normal routine. However, recent evaluations of a prototype prediction system showed that it significantly decreased the productivity of most translators who used it. In this paper, we anal...

The Spoken Portuguese: Geographic and Social Varieties project has as its main goal the Portuguese teaching as foreign language. The idea is to provide a collection of authentic spoken texts and to make it friendly usable. Therefore, a selection of spontaneous oral data was made, using either already compiled material or material recorded for this purpose. The final corpus constitution resulted...

Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, the enrichment can be performed on paragraphs, sentences or words, of the expressed content in the source language and its translation. There are two main approaches to perform word-level alignment: statistical or linguistic. Du...

nglish has become the internationally shared language for science. Being the main language used in meetings and publications, English must be translated to the various languages of the international scientific community. The material to be translated includes every text presenting a conclusion, consensus, or "law" in every field of knowledge. Therefore, the use of specific terms is mandatory in...

This paper proposes a simple, user friendly but more secure mechanism for user authentication. Developing countries should make necessary changes to the technologies in developed countries before using them in developing countries without blindly using technologies in developed countries. If they realize value of their cultural aspects and value systems they can have state of the art systems wi...

This paper shows how a high level matrix programming language may be used to perform Monte Carlo simulation, bootstrapping, estimation by maximum likelihood and GMM, and kernel regression in parallel on symmetric multiprocessor computers or clusters of workstations. The implementation of parallelization is done in a way such that an investigator may use the programs without any knowledge of par...

In this paper a router configuration machine for Cisco routers using GUI is presented. It is developed using Visual C# .NET programming, in which the interface provides GUI platforms for various types of configuration for entire series of Cisco routers. It communicates with the Cisco Internetwork Operating System to configure the router. It includes the configuration for all interior routing pr...

Some guidelines for the comparison of different quantum key distribution experiments are proposed. An improved « plug & play » interferometric system allowing fast key exchange is then introduced. Self-alignment and compensation of birefringence remain. Original electronics implementing the BB84 protocol and allowing user-friendly operation is presented. Key creation with 0.1 photon per pulse a...