3510 search results - page 20 / 702 » Searching with numbers |
245
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
Abstract-- Sponsored search auctions form a multibillion dollar industry. Search providers auction advertisement slots on search result pages to advertisers who are charged only if...
137
click to vote
TCS
2008
15 years 4 months ago
2008
Graph searching encompasses a wide variety of combinatorial problems related to the problem of capturing a fugitive residing in a graph using the minimum number of searchers. In t...
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We consider the extension of the last-in-first-out graph searching game of Giannopoulou and Thilikos to digraphs. We show that all common variations of the game require the same ...
139
click to vote
AAAI
2007
15 years 6 months ago
2007
We present a new estimator for counting the number of solutions of a Boolean satisfiability problem as a part of an importance sampling framework. The estimator uses the recently...
140
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...