Sciweavers

6941 search results - page 1119 / 1389
» Testing as a Certification Approach
Sort
View
CLEF
2006
Springer
15 years 8 months ago
Experimenting a "General Purpose" Textual Entailment Learner in AVE
In this paper we present the use of a "general purpose" textual entaiment recognizer in the Answer Validation Exercise (AVE) task. Our system has been developed to learn...
Fabio Massimo Zanzotto, Alessandro Moschitti
151
Voted
CLEF
2006
Springer
15 years 8 months ago
GeoCLEF 2006: The CLEF 2006 Cross-Language Geographic Information Retrieval Track Overview
After being a pilot track in 2005, GeoCLEF advanced to be a regular track within CLEF 2006. The purpose of GeoCLEF is to test and evaluate cross-language geographic information ret...
Fredric C. Gey, Ray R. Larson, Mark Sanderson, Ker...
GCB
2004
Springer
223views Biometrics» more  GCB 2004»
15 years 8 months ago
PoSSuMsearch: Fast and Sensitive Matching of Position Specific Scoring Matrices using Enhanced Suffix Arrays
: In biological sequence analysis, position specific scoring matrices (PSSMs) are widely used to represent sequence motifs. In this paper, we present a new nonheuristic algorithm, ...
Michael Beckstette, Dirk Strothmann, Robert Homann...
164
Voted
CSL
2006
Springer
15 years 8 months ago
Logical Omniscience Via Proof Complexity
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
Sergei N. Artëmov, Roman Kuznets
147
Voted
DAC
2006
ACM
15 years 8 months ago
Refined statistical static timing analysis through
Statistical static timing analysis (SSTA) has been a popular research topic in recent years. A fundamental issue with applying SSTA in practice today is the lack of reliable and e...
Benjamin N. Lee, Li-C. Wang, Magdy S. Abadir
« Prev « First page 1119 / 1389 Last » Next »