3625 search results - page 721 / 725 » On choosing |
PADL
2012
Springer
12 years 5 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
VR
2012
IEEE
12 years 5 months ago
2012
IEEE
This paper presents Virtual Reality Mechanism Design Studio (VRMDS), an intuitive virtual environment for supporting the interactive design and simulation of mechanisms. The studio...
SIGCOMM
2012
ACM
12 years 7 days ago
2012
ACM
The two largest U.S. wireless ISPs have recently moved towards usage-based pricing to better manage the growing demand on their networks. Yet usage-based pricing still requires IS...
SIGCOMM
2012
ACM
12 years 7 days 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 ...
SIGMOD
2012
ACM
12 years 7 days ago
2012
ACM
Query substitution is an important problem in information retrieval. Much work focuses on how to find substitutes for any given query. In this paper, we study how to efficiently ...