12774 search results - page 2479 / 2555 » A Framework for Proof Systems |
177
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...
163
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
156
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
With shrinking feature size and growing integration density in the Deep Sub-Micron technologies, the global buses are fast becoming the “weakest-links” in VLSI design. They ha...
220
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Recommender systems are an important component of many websites. Two of the most popular approaches are based on matrix factorization (MF) and Markov chains (MC). MF methods learn...
167
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we propose a semi-supervised learning approach for classifying program (bot) generated web search traffic from that of genuine human users. The work is motivated by...