Sciweavers

8008 search results - page 1164 / 1602
» Computer-Aided Language Processing
Sort
View
FMICS
2008
Springer
15 years 6 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
BIS
2007
147views Business» more  BIS 2007»
15 years 6 months ago
Facilitating Business Interoperability from the Semantic Web
Abstract. Most approaches to B2B interoperability are based on language syntax standardisation, usually by XML Schemas. However, due to XML expressivity limitations, they are diffi...
Roberto García, Rosa Gil
CATS
2008
15 years 6 months ago
Weak Parametric Failure Equivalences and Their Congruence Formats
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...
Xiaowei Huang, Li Jiao, Weiming Lu
LREC
2010
210views Education» more  LREC 2010»
15 years 6 months ago
Evaluating Multilingual Question Answering Systems at CLEF
The paper offers an overview of the key issues raised during the seven years' activity of the Multilingual Question Answering Track at the Cross Language Evaluation Forum (CL...
Pamela Forner, Danilo Giampiccolo, Bernardo Magnin...
LREC
2010
151views Education» more  LREC 2010»
15 years 6 months ago
FastKwic, an "Intelligent" Concordancer Using FASTR
In this paper, we introduce the FastKwic (Key Word In Context using FASTR), a new concordancer for French and English that does not require users to learn any particular request l...
Véronika Lux-Pogodalla, Dominique Besagni, ...
« Prev « First page 1164 / 1602 Last » Next »