5243 search results - page 34 / 1049 » Reasoning About Strategies |
104
Voted
KDD
2005
ACM
16 years 26 days ago
2005
ACM
Redescription mining is a newly introduced data mining problem that seeks to find subsets of data that afford multiple definitions. It can be viewed as a generalization of associa...
99
Voted
ACSC
2008
IEEE
15 years 7 months ago
2008
IEEE
In the future, if we are to continue to expect improved application performance we will have to achieve it by exploiting course-grained hardware parallelism rather then simply rel...
98
Voted
ICAIL
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we describe how the reasoning in one very well known property law case...
89
Voted
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
97
Voted
RAID
2004
Springer
15 years 5 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...