1213 search results - page 239 / 243 » Approximation in quantale-enriched categories |
POPL
2011
ACM
14 years 21 days ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
114
click to vote
POPL
2011
ACM
14 years 21 days ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
120
click to vote
SIGECOM
2011
ACM
14 years 21 days ago
2011
ACM
The Generalized Second Price (GSP) auction is the primary method by which sponsered search advertisements are sold. We study the performance of this auction in the Bayesian settin...
105
click to vote
SIGECOM
2011
ACM
14 years 21 days ago
2011
ACM
In a landmark paper, Papadimitriou and Roughgarden [2008] described a polynomial-time algorithm (“Ellipsoid Against Hope”) for computing sample correlated equilibria of concis...
138
click to vote
SIGMETRICS
2011
ACM
14 years 21 days ago
2011
ACM
Despite the tremendous growth in the cellular data network usage due to the popularity of smartphones, so far there is rather limited understanding of the network infrastructure o...