Sciweavers

1449 search results - page 26 / 290
» Finiteness results for sigmoidal
Sort
View
FOSSACS
2006
Springer
15 years 3 months ago
A Finite Model Construction for Coalgebraic Modal Logic
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
Lutz Schröder
ADCM
2011
14 years 6 months ago
Approximation properties of the Generalized Finite Element Method
In this paper, we have obtained an approximation result in the Generalized Finite Element Method (GFEM) that reflects the global approximation property of the Partition of Unity ...
C. Anitescu, U. Banerjee
ICIP
2000
IEEE
16 years 1 months ago
Orthonormal Finite Ridgelet Transform for Image Compression
A finite implementation of the ridgelet transform is presented. The transform is invertible, non-redundant and achieved via fast algorithms. Furthermore we show that this transfor...
Minh N. Do, Martin Vetterli
GEOINFORMATICA
1998
101views more  GEOINFORMATICA 1998»
14 years 11 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
JAMDS
2002
60views more  JAMDS 2002»
14 years 11 months ago
A simple proof of Suzumura's extension theorem for finite domains with applications
Abstract. In this paper we provide a simple proof of the extension theorem for partial orderings due to Suzumura [1983] when the domain of the partial order is finite. The extensio...
Somdeb Lahiri