The framework of computational systems has been already used for describing several computational logics. In this paper is described the way a propositional prover and a predicate prover are implemented in ELAN, the system developed in Nancy for describing and executing computational systems. The inference rules for the provers are described by conditional rewrite rules and their application is...

Martin Farlow MD, editor. Dr. Farlow of Indiana University School of Medicine receives research grant support from BristolMyersSquibb, Danone, Eisai, Elan, Eli Lilly, Genentech, Novartis, OctaPharma, Pfizer, Sanofi-Aventis and Sonexa; honorariums from Eisai, Forest Laboratories, Pfizer, and Novartis for speaking engagements; and fees from Accera, Astellas, Baxter, Bayer, DDB Remedy, Eisai, GE H...

Advances in machine translation are becoming increasingly dependent on the availability of large scale language resources, in particular parallel corpora. The talk presents Slovene-English language resources that were developed as datasets for translation studies and machine learning programs. Three parallel datasets are introduced: the MULTEXT-East multilingual word-annotated corpus, the IJS-E...

This report contains the Proceedings of the joint CARE-HHH-APD, CARE ELAN, and EUROTEV-WP3 Mini-Workshop on ‘Electron Cloud Clearing Electron Cloud and Technological Consequences’, “ECL2”, held at CERN in Geneva, Switzerland, 1-2 March 2007). The ECL2 workshop explored novel technological remedies against electron-cloud formation in an accelerator beam pipe. A primary motivation for the worksho...

Resumen. En este artículo presentamos el proyecto MLIS-ELAN cuyo objetivo principal es la creación de una red distribuida y políglota de bases de datos de recursos lingüísticos textuales. Primero, definimos el término de “recurso lingüístico textual” y mostramos la importancia de la normalización en el marco de la representación y de la utilización de este tipo de recursos. Después, presentamos...

The DADA system is being developed to support collaborative access to and annotation of language resources over the web. DADA implements an abstract model of annotation suitable for storing many kinds of data from a wide range of language resources. This paper describes the process of ingesting data from a corpus of Australian Sign Language (Auslan) into the DADA system. We describe the format ...

Martin Farlow MD, editor. Dr. Farlow of Indiana University School of Medicine received research grant support from BristolMyersSquibb, Danone, Eisai, Elan, Eli Lilly, Genentech, Novartis, OctaPharma, Pfizer, Roche, Sanofi-Aventis, and Sonexa; honorariums from Eisai, Forest Laboratories, Pfizer, and Novartis for speaking engagements; and fees from Accera, Alltech, Astellas, Baxter Healthcare, Ba...