4949 search results - page 241 / 990 » Consistency and Set Intersection |
174
click to vote
PVLDB
2010
15 years 4 months ago
2010
There has been considerable past work studying data integration and uncertain data in isolation. We develop the foundations for local-as-view (LAV) data integration when the sourc...
171
click to vote
AUTOMATICA
2010
15 years 4 months ago
2010
In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservabl...
151
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
159
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
The prevailing approach to evaluating classifiers in the machine learning community involves comparing the performance of several algorithms over a series of usually unrelated data...
200
click to vote
ICDIM
2010
IEEE
15 years 3 months ago
2010
IEEE
In a set of access control policies, incompleteness is the existence of situations for which no policy applies. Some of these situations can be exploited by attackers, to obtain un...