Sciweavers

1486 search results - page 165 / 298
» Firewall Rules Analysis
Sort
View
OWLED
2007
15 years 5 months ago
Ontology Engineering for Product Development
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...
Henson Graves
PUK
2000
15 years 5 months ago
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas
The generation of the set of all ground actions for a given set of ADL operators, which are allowed to have conditional effects and preconditions that can be represented using arbi...
Jana Koehler, Jörg Hoffmann
ENTCS
2006
142views more  ENTCS 2006»
15 years 4 months ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
José Meseguer, Grigore Rosu
IJON
2006
123views more  IJON 2006»
15 years 4 months ago
Attractor neural networks with patchy connectivity
The neurons in the mammalian visual cortex are arranged in columnar structures, and the synaptic contacts of the pyramidal neurons in layer II/III are clustered into patches that ...
Christopher Johansson, Martin Rehn, Anders Lansner
KES
2006
Springer
15 years 4 months ago
Fuzzy-Evolutionary Synergism in an Intelligent Medical Diagnosis System
In this paper, we present the design, implementation and evaluation of HIGAS, a hybrid intelligent system that deals with diagnosis and treatment consultation of acid-base disturba...
Constantinos Koutsojannis, Ioannis Hatzilygeroudis