950 search results - page 181 / 190 » Evaluation over thousands of queries |
SIGIR
2011
ACM
12 years 10 months ago
2011
ACM
We study the problem of automatically assigning appropriate music pieces to a picture or, in general, series of pictures. This task, commonly referred to as soundtrack suggestion,...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
Contextual advertising supports much of the Web's ecosystem today. User experience and revenue (shared by the site publisher ad the ad network) depend on the relevance of the...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Say you are looking for information about a particular person. A search engine returns many pages for that person's name but which pages are about the person you care about, ...
WWW
2002
ACM
14 years 8 months ago
2002
ACM
Recent increase in the number of search engines on the Web and the availability of meta search engines that can query multiple search engines makes it important to find effective ...
CADE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...