Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
Several published reports show that instancebased learning algorithms yield high classification accuracies and have low storage requirements during supervised learning application...
STATL is an extensible state/transition-based attack description language designed to support intrusion detection. The language allows one to describe computer penetrations as seq...
Steve T. Eckmann, Giovanni Vigna, Richard A. Kemme...
A novel background generation method based on nonparametric background model is presented for background subtraction. We introduce a new model, named as effect components descript...