621 search results - page 74 / 125 » Global partial orders from sequential data |
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In this paper, we focus on an aspect of distributed XQuery processing that involves data exchanges between processor elements. We first address problems of distributed XML query p...
167
click to vote
NFM
2011
14 years 4 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Time plays an essential role in the diffusion of information, influence and disease over networks. In many cases we only observe when a node copies information, makes a decision ...
KDD
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we propose a novel data mining technique for the efficient damage detection within the large-scale complex mechanical structures. Every mechanical structure is defi...
109
click to vote
JCST
2010
14 years 8 months ago
2010
Abstract This paper introduces a caching technique based on a volumetric representation that captures low-frequency indirect illumination. This structure is intended for efficient ...