10802 search results - page 2053 / 2161 » Generative and developmental systems |
175
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
Sponsored search is a multi-billion dollar business that generates most of the revenue for search engines. Predicting the probability that users click on ads is crucial to sponsor...
203
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
In this paper, we study search bot traffic from search engine query logs at a large scale. Although bots that generate search traffic aggressively can be easily detected, a large ...
162
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
177
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
166
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
LOFAR is the first of a new generation of radio telescopes. Rather than using expensive dishes, it forms a distributed sensor network that combines the signals from many thousands...