18716 search results - page 3590 / 3744 » Automatic |
125
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
152
Voted
CLEF
2008
Springer
15 years 3 months ago
2008
Springer
DCU participated in the ImageCLEF 2008 photo retrieval task, which aimed to evaluate diversity in Image Retrieval, submitting runs for both the English and Random language annotati...
126
Voted
CIDR
2009
15 years 3 months ago
2009
Recent research in domain-independent information extraction holds the promise of an automatically-constructed structured database derived from the Web. A query system based on th...
138
Voted
CIKM
2009
Springer
15 years 3 months ago
2009
Springer
Work on evaluating and improving the relevance of web search engines typically use human relevance judgments or clickthrough data. Both these methods look at the problem of learni...
154
Voted
CLEF
2009
Springer
15 years 3 months ago
2009
Springer
GikiCLEF focused on the evaluation of the reasoning capabilities of systems to provide right answers for geographically-challenging topics. As we did not have previous experience ...