Sciweavers

3071 search results - page 150 / 615
» Explanatory Design Theory
Sort
View
ICAISC
2004
Springer
15 years 4 months ago
Optimization of Centers' Positions for RBF Nets with Generalized Kernels
The problem of locating centers for radial basis functions in neural networks is discussed. The proposed approach allows us to apply the results from the theory of optimum experime...
Ewaryst Rafajlowicz, Miroslaw Pawlak
ICLP
2003
Springer
15 years 3 months ago
A Tutorial on Proof Theoretic Foundations of Logic Programming
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
Paola Bruscoli, Alessio Guglielmi
BIRTHDAY
2006
Springer
15 years 2 months ago
Quantum Institutions
The exogenous approach to enriching any given base logic for probabilistic and quantum reasoning is brought into the realm of institutions. The theory of institutions helps in capt...
Carlos Caleiro, Paulo Mateus, Amílcar Serna...
TIP
2008
106views more  TIP 2008»
14 years 10 months ago
Robust Control-Based Object Tracking
This correspondence presents a video tracking framework using control-based observer design. It unifies several kernel-based approaches into a consistent theoretical framework by m...
Wei Qu, Dan Schonfeld
CORR
1999
Springer
104views Education» more  CORR 1999»
14 years 10 months ago
Brittle System Analysis
The goal of this paper is to define and analyze systems which exhibit brittle behavior. This behavior is characterized by a sudden and steep decline in performance as the system s...
Stephen F. Bush, John E. Hershey, Kirby Vosburgh