3624 search results - page 418 / 725 » Abstract Algebraic Logic |
140
click to vote
TIME
2005
IEEE
16 years 9 days ago
2005
IEEE
We exploit the fact that qualitative Interval Algebra (IA) network problems are finite domain CSPs. In the first part of the paper, we show how to convert a qualitative IA network ...
162
click to vote
SAC
2005
ACM
16 years 8 days ago
2005
ACM
Many geographical applications deal with spatial objects that cannot be adequately described by determinate, crisp concepts because of their intrinsically indeterminate and vague ...
160
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
181
click to vote
DEXA
2004
Springer
16 years 3 days ago
2004
Springer
Data cleaning deals with the detection and removal of errors and inconsistencies in data, gathered from distributed sources. This process is essential for drawing correct conclusio...
159
click to vote
ATS
2003
IEEE
16 years 1 days ago
2003
IEEE
Capacitive crosstalk can give rise to slowdown of signals that can propagate to a circuit output and create a functional error. A test generation methodology, called XGEN, was dev...