511 search results - page 21 / 103 » More Precise Partition Abstractions |
LICS
2005
IEEE
14 years 2 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
ICISC
2004
13 years 10 months ago
2004
We propose a new broadcast encryption scheme based on polynomial interpolations. Our scheme, obtained from the Naor-Pinkas scheme by partitioning the user set and interpolating mul...
DLOG
2007
13 years 11 months ago
2007
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
JURIX
2008
13 years 10 months ago
2008
Abstract. In the AVERs sense-making tool for crime analysis different types of information are represented in different ways. More precisely, narrative knowledge is represented in ...
CLASSIFICATION
2008
13 years 9 months ago
2008
Abstract: Bounds of association coefficients for binary variables are derived using the arithmetic-geometric-harmonic mean inequality. More precisely, it is shown which presence/ab...