Sciweavers

2409 search results - page 331 / 482
» On Extended Regular Expressions
Sort
View
DEBU
2002
120views more  DEBU 2002»
15 years 4 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks
153
Voted
IJPRAI
2000
108views more  IJPRAI 2000»
15 years 4 months ago
Knowledge Base Reformation: Preparing First-Order Theories for Efficient Propositional Reasoning
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
Helmut Prendinger, Mitsuru Ishizuka, Gerhard Schur...
NECO
2000
190views more  NECO 2000»
15 years 4 months ago
Generalized Discriminant Analysis Using a Kernel Approach
We present a new method that we call Generalized Discriminant Analysis (GDA) to deal with nonlinear discriminant analysis using kernel function operator. The underlying theory is ...
G. Baudat, Fatiha Anouar
NGC
2000
Springer
124views Communications» more  NGC 2000»
15 years 4 months ago
Temporal Disjunctive Logic Programming
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
Manolis Gergatsoulis, Panos Rondogiannis, Themis P...
IJBC
2002
65views more  IJBC 2002»
15 years 4 months ago
On the Templates Corresponding to Cycle-Symmetric Connectivity in Cellular Neural Networks
In the architecture of cellular neural networks (CNN), connections among cells are built on linear coupling laws. These laws are characterized by the so-called templates which exp...
Chih-Wen Shih, Chih-Wen Weng