5550 search results - page 10 / 1110 » Different Approaches to Proof Systems |
KDD
2003
ACM
15 years 10 months ago
2003
ACM
Understanding the differences between contrasting groups is a fundamental task in data analysis. This realization has led to the development of a new special purpose data mining t...
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
Intrusion detection is an important part of networkedsystems security protection. Although commercial products exist, finding intrusions has proven to be a difficult task with l...
FC
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The banking industry in Norway has developed a new security infrastructure for conducting commerce on the Internet. The initiative, called BankID, aims to become a nation...
ISSAC
1990
Springer
15 years 2 months ago
1990
Springer
In the previous papers [7-101we defined and explored a formal methodological framework on the basis of which resolution proof systems for strongly-finite logics can be introduced ...
102
click to vote
SYNTHESE
2008
14 years 10 months ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...