Sciweavers

2236 search results - page 276 / 448
» Intrusion detection techniques and approaches
Sort
View
OSDI
2004
ACM
14 years 11 months ago
Life or Death at Block-Level
A fundamental piece of information required in intelligent storage systems is the liveness of data. We formalize the notion of liveness within storage, and present two classes of ...
Muthian Sivathanu, Lakshmi N. Bairavasundaram, And...
DALT
2004
Springer
14 years 4 months ago
Model Checking Agent Dialogues
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
Christopher D. Walton
ICPR
2000
IEEE
14 years 3 months ago
Logical Templates for Feature Extraction in Fingerprint Images
We present a novel approach for extraction of minutiaefeatures from fingerprint images. Theproposed approach is based on the use of logical templates for minutiae extraction in th...
Bir Bhanu, Michael Boshra, Xuejun Tan
VLDB
1991
ACM
165views Database» more  VLDB 1991»
14 years 2 months ago
Aggregation and Relevance in Deductive Databases
In this paper we present a technique to optimize queries on deductive databases that use aggregate operations such as min, max, and “largest Ic values.” Our approach is based ...
S. Sudarshan, Raghu Ramakrishnan
AAAI
1994
14 years 2 days ago
Learning Explanation-Based Search Control Rules for Partial Order Planning
This paper presents snlp+ebl, the first implementation of explanation based learning techniques for a partial order planner. We describe the basic learning framework of snlp+ebl, ...
Suresh Katukam, Subbarao Kambhampati