2032 search results - page 284 / 407 » Relevance for browsing, relevance for searching |
128
click to vote
PVLDB
2010
14 years 8 months ago
2010
Output URL bidding is a new bidding mechanism for sponsored search, where advertisers bid on search result URLs, as opposed to keywords in the input query. For example, an adverti...
117
click to vote
SIGIR
2010
ACM
14 years 8 months ago
2010
ACM
Information retrieval (IR) evaluation scores are generally designed to measure the effectiveness with which relevant documents are identified and retrieved. Many scores have been ...
137
click to vote
LPAR
2012
Springer
13 years 9 months ago
2012
Springer
E-matching is the most commonly used technique to handle quantifiers in SMT solvers. It works by identifying characteristic subexpressions of quantified formulae, named triggers,...
106
click to vote
DSS
2007
15 years 1 months ago
2007
In this paper, we report results of an investigation into the factors influencing the selection of sponsored links by e-commerce Web searchers. In this research, 56 participants e...
119
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...