323 search results - page 7 / 65 » Evaluating example-based search tools |
IADIS
2004
13 years 9 months ago
2004
The performance evaluation of an information retrieval system is a decisive aspect for the measure of the improvements in search technology. Our work intends to provide a framewor...
TREC
2007
13 years 8 months ago
2007
York University evaluated a prepcessing approach for this year’s enterprise document search task. With different parsing tools, we create two data sets. Based on each data set,...
ACL
2011
12 years 11 months ago
2011
Marking up search queries with linguistic annotations such as part-of-speech tags, capitalization, and segmentation, is an important part of query processing and understanding in ...
FROCOS
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
FROCOS
2011
Springer
12 years 7 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...