Sciweavers

1209 search results - page 56 / 242
» Approximation by pseudo-linear operators
Sort
View
IWFM
2000
112views Formal Methods» more  IWFM 2000»
15 years 3 months ago
A Note on the Relationships Between Logic Programs and Neural Networks
Several recent publications have exhibited relationships between the theories of logic programming and of neural networks. We consider a general approach to representing normal lo...
Pascal Hitzler, Anthony Karel Seda
AUSAI
1999
Springer
15 years 6 months ago
Computing Least Common Subsumers in Expressive Description Logics
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
Thomas Mantay
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
15 years 5 months ago
Inside a predator-prey model for multi-objective optimization: a second study
In this article, new variation operators for evolutionary multiobjective algorithms (EMOA) are proposed. On the basis of a predator-prey model theoretical considerations as well a...
Christian Grimme, Karlheinz Schmitt
TIT
2008
84views more  TIT 2008»
15 years 1 months ago
Channel-Adapted Quantum Error Correction for the Amplitude Damping Channel
Error correction procedures are considered which are designed specifically for the amplitude damping channel. Amplitude damping errors are analyzed in the stabilizer formalism. Thi...
Andrew S. Fletcher, Peter W. Shor, Moe Z. Win
IJCAI
2007
15 years 3 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...