1888 search results - page 355 / 378 » Proof theory and computational analysis |
107
Voted
WWW
2009
ACM
16 years 13 days ago
2009
ACM
Ad auctions in sponsored search support"broad match"that allows an advertiser to target a large number of queries while bidding only on a limited number. While giving mo...
WWW
2004
ACM
16 years 13 days ago
2004
ACM
This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message co...
124
Voted
PODC
2009
ACM
16 years 9 days ago
2009
ACM
We analyze the performance of protocols for load balancing in distributed systems based on no-regret algorithms from online learning theory. These protocols treat load balancing a...
100
Voted
KDD
2007
ACM
16 years 5 days ago
2007
ACM
The importance of dominance and skyline analysis has been well recognized in multi-criteria decision making applications. Most previous studies assume a fixed order on the attribu...
KDD
2004
ACM
16 years 5 days ago
2004
ACM
This paper introduces support envelopes--a new tool for analyzing association patterns--and illustrates some of their properties, applications, and possible extensions. Specifical...