15253 search results - page 2976 / 3051 » Integer-Programming Software Systems |
114
click to vote
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
119
click to vote
PERCOM
2005
ACM
16 years 1 months ago
2005
ACM
In the rapidly developing field of sensor networks, bridging the gap between the applications and the hardware presents a major challenge. Although middleware is one solution, it ...
133
Voted
WSDM
2010
ACM
15 years 11 months ago
2010
ACM
There has been a large amount of research on efficient document retrieval in both IR and web search areas. One important technique to improve retrieval efficiency is early termina...
120
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
LOFAR is the first of a new generation of radio telescopes. Rather than using expensive dishes, it forms a distributed sensor network that combines the signals from many thousands...
127
click to vote
SDM
2009
SIAM
15 years 11 months ago
2009
SIAM
Complex systems exhibit emergent patterns of behavior at different levels of organization. Powerful network analysis methods, developed in physics and social sciences, have been s...