3233 search results - page 216 / 647 » Rule Modeling and Markup |
118
click to vote
ICDCS
2009
IEEE
16 years 2 months ago
2009
IEEE
We identify a new type of stateful IDS evasion, named signature evasion. We formalize the signature evasion on those Stateful IDSs whose state can be modeled using Deterministic F...
116
click to vote
AUSAI
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
121
Voted
CPAIOR
2005
Springer
15 years 10 months ago
2005
Springer
Creating good integer programming formulations had, as a basic axiom, the rule “Find formulations with tighter linear relaxations”. This rule, while useful when using unsophist...
148
Voted
NMR
2004
Springer
15 years 10 months ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...
123
click to vote
MICAI
2009
Springer
15 years 9 months ago
2009
Springer
This document describes a method for classifying images of blood cells. Three different classes of cells are used: Band Neutrophils, Eosinophils and Lymphocytes. The image pattern...