502 search results - page 24 / 101 » An Audit Logic for Accountability |
157
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents a transaction-time HTTP server, called ? Apache that supports document versioning. A document often consists of a main file formatted in HTML or XML and severa...
187
click to vote
WOLLIC
2009
Springer
16 years 22 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
164
click to vote
ICASSP
2007
IEEE
16 years 15 days ago
2007
IEEE
This paper describes a multi-biometric verification system that is fully adaptive to variability in data acquisition using fuzzy logic decision fusion. The system uses fuzzy logic...
115
click to vote
PRIMA
2007
Springer
16 years 8 days ago
2007
Springer
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...
181
click to vote
CORR
2012
Springer
14 years 1 months ago
2012
Springer
We present a novel approach to constraintbased causal discovery, that takes the form of straightforward logical inference, applied to a list of simple, logical statements about ca...