Sciweavers

3571 search results - page 216 / 715
» Cohen and Set Theory
Sort
View
BIRTHDAY
2010
Springer
15 years 7 months ago
Metrization Theorem for Space-Times: From Urysohn's Problem towards Physically Useful Constructive Mathematics
In the early 1920s, Pavel Urysohn proved his famous lemma (sometimes referred to as "first non-trivial result of point set topology"). Among other applications, this lemm...
Vladik Kreinovich
ICPR
2010
IEEE
15 years 6 months ago
Connected Component Trees for Multivariate Image Processing and Applications in Astronomy
In this paper, we investigate the possibilities offered by the extension of the connected component trees (cc-trees) to multivariate images. We propose a general framework for ima...
Benjamin Perret, Sébastien Lefèvre, ...
NJC
2006
86views more  NJC 2006»
15 years 6 months ago
Axiomatizing Binding Bigraphs
We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove tha...
Troels Christoffer Damgaard, Lars Birkedal
AUTOMATICA
2002
95views more  AUTOMATICA 2002»
15 years 6 months ago
Series expansions for analytic systems linear in control
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
Francesco Bullo
GEOINFORMATICA
1998
101views more  GEOINFORMATICA 1998»
15 years 6 months ago
Imprecision in Finite Resolution Spatial Data
An important component of spatial data quality is the imprecision resulting from the resolution at which data are represented. Current research on topics such as spatial data inte...
Michael F. Worboys