1382 search results - page 59 / 277 » Formal Analysis of Online Algorithms |
148
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Most models for online advertising assume that an advertiser's value from winning an ad auction, which depends on the clickthrough rate or conversion rate of the advertisemen...
146
click to vote
SPAA
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we study a dynamic version of capacity maximization in the physical model of wireless communication. In our model, requests for connections between pairs of points i...
194
click to vote
DMDW
2003
15 years 7 months ago
2003
Geographic Information Systems (GIS) showed their insufficiencies in front of complex requests for decision-makers. Resulting of the association of the databases and the decision-m...
148
click to vote
COLT
1997
Springer
15 years 10 months ago
1997
Springer
We relate two problems that have been explored in two distinct communities. The first is the problem of combining expert advice, studied extensively in the computational learning...
172
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...