11436 search results - page 2174 / 2288 » Modeling Real Reasoning |
135
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
When online ads are shown together, they compete for user attention and conversions, imposing negative externalities on each other. While the competition for user attention in spo...
140
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
164
click to vote
VEE
2009
ACM
15 years 10 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...
141
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Materialized views (MV) can significantly improve the query performance of relational databases. In this paper, we consider MVs to optimize complex scenarios where many heterogen...
125
click to vote
PAM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The 95-percentile method is used widely for billing ISPs and websites. In this work, we characterize important aspects of the 95-percentile method using a large set of tr...