7527 search results - page 1283 / 1506 » Design and implementation of the KioskNet system |
158
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
216
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Wireless interfaces are major power consumers on mobile systems. Considerable research has improved the energy efficiency of elongated idle periods or created more elongated idle ...
247
click to vote
MOBIHOC
2002
ACM
16 years 6 months ago
2002
ACM
Network wide broadcasting in Mobile Ad Hoc Networks provides important control and route establishment functionality for a number of unicast and multicast protocols. Considering i...
187
click to vote
WSDM
2010
ACM
16 years 4 months ago
2010
ACM
We study the problem of designing a mechanism to rank items in forums by making use of the user reviews such as thumb and star ratings. We compare mechanisms where forum users rat...
204
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...