نتایج جستجو برای: elan

تعداد نتایج: 411  

1998

Implementing a compiler for such a language with nonde-terministic features is known to be a diicult task. This paper presents two new functions setChoicePoint and fail that extend the C language to eeciently handle choice point management. Algorithms and implementation techniques are detailed. As an application, we give compilation schemes to illustrate the power and the easy use of setChoiceP...

1999
Gaël Dias Spela Vintar José Gabriel Pereira Lopes Sylvie Guilloré

Various efforts have been made for the development of tools and methods dedicated to the automatic processing of multilingual terminology databases. For that purpose, multilingual parallel corpora have been used as a basis resource. However, most of the neologisms in technical and scientific domains are realised by multiword terms that are rarely identified in parallel corpora. In this paper, w...

1997
Horatiu Cirstea Claude Kirchner

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

2003
Olivier Bournez Guy-Marie Côme Valérie Conraud Hélène Kirchner Liliana Ibanescu

Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reactions and different generation algorithms. In parallel, several software systems based on rewriting have been developed for the easy modeling and prototyping of systems using rules controlled by strategies. This paper pr...

1993
Horatiu Cirstea

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

2012
Martin Farlow

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

2004

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

2007
F. Caspers W. Scandale D. Schulte F. Zimmermann

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

2000
Samuel Cruz-Lara

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

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید