2299 search results - page 217 / 460 » Logical Data Expiration |
145
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents the Authorization Service provided by Tivoli Policy Director (PD) and its use by PD family members as well as third-party applications. Policies are defined ov...
129
click to vote
CTRS
1987
15 years 8 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
132
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. In this work we propose an alternative approach to inference in DLLite, based on a reduction to reasoning in an extension of function-free Horn Logic (EHL). We develop a ...
158
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
131
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...