1009 search results - page 71 / 202 » Correlations of Partial Words |
188
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Views over probabilistic data contain correlations between tuples, and the current approach is to capture these correlations using explicit lineage. In this paper we propose an al...
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we consider an X ray computed tomography (CT) image reconstruction problem using two different kinds of data: classical X-rays radiographic data and some geometrica...
81
Voted
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
94
Voted
IDEAS
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we present SURCH, a novel decentralized algorithm for efficient processing of queries generated in sensor networks. Unlike existing techniques, SURCH is fully dist...
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we propose an approach to guide search to sources of conflicts. The principle is the following: the last variable involved in the last conflict is selected in priori...