3047 search results - page 74 / 610 » On the Meaning of Logical Completeness |
CCS
2007
ACM
14 years 5 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
NMR
2004
Springer
14 years 4 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
APAL
2008
13 years 11 months ago
2008
A propositional logic of explicit proofs, LP, was introduced in [2], completing a project begun long ago by G
IJCV
2002
13 years 10 months ago
2002
We present a geometric model and a computational method for segmentation of images with missing boundaries. In many situations, the human visual system fills in missing gaps in ed...
JFP
2006
13 years 11 months ago
2006
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive highero...