Sciweavers

2086 search results - page 180 / 418
» Mathematical Theory Exploration
Sort
View
IWANN
2009
Springer
15 years 8 months ago
Lower Bounds for Approximation of Some Classes of Lebesgue Measurable Functions by Sigmoidal Neural Networks
We propose a general method for estimating the distance between a compact subspace K of the space L1 ([0, 1]s ) of Lebesgue measurable functions defined on the hypercube [0, 1]s ,...
José Luis Montaña, Cruz E. Borges
SIBGRAPI
1999
IEEE
15 years 8 months ago
Curvature Operators in Geometric Image Processing
Abstract. In this work we study the problem of reconstructing an image from a perceptual segmentation based on a geometric classification of its points using non-linear curvature f...
Cicero Mota, Jonas Gomes
RTCSA
1997
IEEE
15 years 8 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
ADBIS
1997
Springer
109views Database» more  ADBIS 1997»
15 years 8 months ago
A Graphical Yet Formalized Framework for Specifying View Systems
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
Zinovy Diskin, Boris Cadish
ICIP
1994
IEEE
15 years 8 months ago
Analyzing and Synthesizing Images by Evolving Curves
Abstract. Numerical analysis of conservation laws plays an important role in the implementation of curve evolution equations. This paper reviews the relevant concepts in numerical ...
Alfred M. Bruckstein