1080 search results - page 68 / 216 » The Complexity of Belief Update |
149
click to vote
CSL
2007
Springer
16 years 14 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
140
click to vote
DATE
2006
IEEE
16 years 11 days ago
2006
IEEE
Automakers are still facing an increasing complexity in vehicle requirements with regard to their EE systems. This complexity is not only caused by innovations, which are being pr...
151
click to vote
ADG
2006
Springer
16 years 9 days ago
2006
Springer
It is known that five points in 3 generically determine a finite number of cylinders containing those points. We discuss ways in which it can be shown that the generic (complex) nu...
267
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
The paper proposes an extension of CFDs [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically relate...
293
click to vote
ICDE
1996
IEEE
16 years 7 months ago
1996
IEEE
This paper presents a difference calculus for determining changes to rule conditions in an active DBMS. The calculus has been used for implementing an algorithm to efficiently mon...