2370 search results - page 297 / 474 » The Characterization of Data-Accumulating Algorithms |
WDAG
2000
Springer
15 years 1 months ago
2000
Springer
This paper presents a study of a distributed cooperation problem under the assumption that processors may not be able to communicate for a prolonged time. The problem for n proces...
SI3D
1995
ACM
15 years 1 months ago
1995
ACM
: We present an exact and interactive collision detection system, I-COLLIDE, for large-scale environments. Such environments are characterized by the number of objects undergoing r...
80
Voted
AAAI
2007
15 years 15 days ago
2007
Recently defined resolution calculi for Max-SAT and signed Max-SAT have provided a logical characterization of the solving techniques applied by Max-SAT and WCSP solvers. In this...
NSDI
2008
15 years 15 days ago
2008
Energy consumption in hosting Internet services is becoming a pressing issue as these services scale up. Dynamic server provisioning techniques are effective in turning off unnece...
WSC
2007
15 years 15 days ago
2007
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...