12774 search results - page 2478 / 2555 » A Framework for Proof Systems |
181
click to vote
PODS
2005
ACM
16 years 6 months ago
2005
ACM
Suppose we have a large table T of items i, each with a weight wi, e.g., people and their salary. In a general preprocessing step for estimating arbitrary subset sums, we assign e...
169
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
181
click to vote
PERCOM
2003
ACM
16 years 6 months ago
2003
ACM
A mobile ad-hoc network is an autonomous system of mobile routers that are self-organizing and completely decentralized with no requirements for dedicated infrastructure support. ...
192
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 ...
199
click to vote
MOBIHOC
2003
ACM
16 years 6 months ago
2003
ACM
On demand routing protocols provide scalable and costeffective solutions for packet routing in mobile wireless ad hoc networks. The paths generated by these protocols may deviate ...