1413 search results - page 89 / 283 » Bisimilarity of Open Terms |
148
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we propose a multicast-on-large-demand (MOLD) approach to the flash crowd problem. A MOLD Web server may dynamically open a multicast channel for resources when dete...
197
click to vote
MOBIHOC
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we present the architecture of a highly configurable multi-input multi?output (MIMO) orthogonal frequency division multiple access (OFDMA) platform. The platform is...
163
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
In this paper we describe a novel text entry method which uses coordinated motor action of hand and mouth. A vision based algorithm is used to gauge shape parameters of the cavity...
138
Voted
CADE
2003
Springer
16 years 6 months ago
2003
Springer
We make the notion of scope in the -calculus explicit. To that end, the syntax of the -calculus is extended with an end-of-scope operator , matching the usual opening of a scope du...
225
Voted
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
We present Stretch `n' Shrink, a query design framework that explicitly takes into account user preferences about the desired answer size, and subsequently modifies the query...