14850 search results - page 2731 / 2970 » A Geometric Approach to Betweenness |
202
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
195
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
Web applications have now become so sophisticated that rendering a typical page may require hundreds of intra-datacenter flows. At the same time, web sites must meet strict page ...
188
click to vote
MOBIHOC
2012
ACM
13 years 9 months ago
2012
ACM
Nowadays, an increasing number of objects can be represented by their wireless electronic identifiers. For example, people can be recognized by their phone numbers or their phone...
208
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract— Recently, lots of micro-blog message sharing applications have emerged on the web. Users can publish short messages freely and get notified by the subscriptions instan...
237
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
— Accurate query performance prediction (QPP) is central to effective resource management, query optimization and query scheduling. Analytical cost models, used in current genera...