9067 search results - page 770 / 1814 » Adaptive Model Checking |
201
click to vote
ISAAC
2004
Springer
16 years 29 days ago
2004
Springer
We propose a space-efficient scheme for summarizing multidimensional data streams. Our sketch can be used to solve spatial versions of several classical data stream queries effici...
208
click to vote
IPPS
2002
IEEE
16 years 16 days ago
2002
IEEE
This paper presents preliminary efforts to develop compilation and execution environments that achieve performance portability of multilevel parallelization on hierarchical archit...
200
click to vote
SIGGRAPH
2010
ACM
16 years 2 days ago
2010
ACM
This paper presents a new method for editing and retargeting motions that involve close interactions between body parts of single or multiple articulated characters, such as danci...
209
click to vote
INFOCOM
2000
IEEE
15 years 12 months ago
2000
IEEE
—In this paper, we argue that weak cache consistency mechanisms supported by existing Web proxy caches must be augmented by strong consistency mechanisms to support the growing d...
193
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Often the selfish and strong are believed to be favored by natural selection, even though cooperative interactions thrive at all levels of organization in living systems. Recent em...