Sciweavers

7404 search results - page 1289 / 1481
» Software performance antipatterns
Sort
View
CLEF
2006
Springer
15 years 10 months ago
Amharic-English Information Retrieval
We describe Amharic-English cross lingual information retrieval experiments in the adhoc bilingual tracs of the CLEF 2006. The query analysis is supported by morphological analysi...
Atelach Alemu Argaw, Lars Asker
CLEF
2006
Springer
15 years 10 months ago
The University of Lisbon at GeoCLEF 2006
This paper details the participation of the XLDB group from the University of Lisbon at the GeoCLEF task of CLEF 2006. We tested text mining methods that make use of an ontology t...
Bruno Martins, Nuno Cardoso, Marcirio Silveira Cha...
CLEF
2006
Springer
15 years 10 months ago
The Bilingual System MUSCLEF at QA@CLEF 2006
This paper presents our bilingual question-answering system MUSCLEF. We underline the difficulties encountered when shifting from a mono to a cross-lingual system, then we focus o...
Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba,...
ESA
2006
Springer
147views Algorithms» more  ESA 2006»
15 years 10 months ago
Univariate Polynomial Real Root Isolation: Continued Fractions Revisited
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
Elias P. Tsigaridas, Ioannis Z. Emiris
FMCAD
2006
Springer
15 years 10 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
« Prev « First page 1289 / 1481 Last » Next »