1626 search results - page 196 / 326 » Subtyping with Power Types |
157
click to vote
POPL
2012
ACM
14 years 16 days 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...
144
Voted
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Several research efforts as well as deployments have chosen IEEE 802.11 as a low-cost, long-distance access technology to bridge the digital divide. In this paper, we consider the...
139
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Many modern natural language-processing applications utilize search engines to locate large numbers of Web documents or to compute statistics over the Web corpus. Yet Web search e...
171
click to vote
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
—1 In ISM bands, many wireless protocols proliferate such as 802.11, Bluetooth, and ZigBee. However, these incompatible protocols create complex coexistence and connectivity prob...
167
Voted
HIPC
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we propose a distributed clustering algorithm for a multi-hop packet radio network. These types of networks, also known as ad hoc networks, are dynamic in nature due...