3841 search results - page 304 / 769 » Crowdsourcing for search evaluation |
149
click to vote
ENTCS
2008
15 years 6 months ago
2008
Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals...
194
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in pro...
182
click to vote
ICALT
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes the development and evaluation of Synote, a freely available accessible web based application that makes multimedia web resources (e.g. podcasts) easier to ac...
226
click to vote
SIGIR
2012
ACM
13 years 9 months ago
2012
ACM
Many current effectiveness measures incorporate simplifying assumptions about user behavior. These assumptions prevent the measures from reflecting aspects of the search process...
159
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper we propose to transform an image descriptor so that nearest neighbor (NN) search for correspondences becomes the optimal matching strategy under the assumption that ...