Sciweavers

2414 search results - page 181 / 483
» Computing Normal Subgroups
Sort
View
ASP
2003
Springer
14 years 2 months ago
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
Robert E. Mercer, Vincent Risch
ACSAC
2000
IEEE
14 years 1 months ago
Two State-based Approaches to Program-based Anomaly Detection
This paper describes two recently developed intrusion detection algorithms, and gives experimental results on their performance. The algorithms detect anomalies in execution audit...
Christoph C. Michael, Anup K. Ghosh
ESOP
1999
Springer
14 years 1 months ago
Polytypic Compact Printing and Parsing
ull articles  not 12 page abstracts, and are the normal form of refereed publication. The top conferences in each subeld (like POPL below) typically have the highest impact f...
Patrik Jansson, Johan Jeuring
AAAI
2007
13 years 11 months ago
A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic
This paper presents a new approach for merging prioritized knowledge bases in possibilistic logic. Our approach is semantically defined by a model-based merging operator in propo...
Guilin Qi
DGCI
2008
Springer
13 years 11 months ago
Geometric Feature Estimators for Noisy Discrete Surfaces
Abstract. We present in this paper robust geometric feature estimators on the border of a possibly noisy discrete object. We introduce the notion of patch centered at a point of th...
Laurent Provot, Isabelle Debled-Rennesson