4087 search results - page 36 / 818 » Sets in Types, Types in Sets |
SIAMAM
2000
13 years 8 months ago
2000
We study the limit as n 0 of the nonnegative, self-similar source-type solutions of the thin film equation ut + (unuxxx)x = 0. We obtain a unique limiting function u, which is a s...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
The paper discusses the matching of two multispectral data sets using the Genetic Algorithm (GA) as a search technique for the global optimum estimates of the transformation param...
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
EUSFLAT
2009
13 years 6 months ago
2009
Fuzzy clustering is well known as a robust and efficient way to reduce computation cost to obtain the better results. In the literature, many robust fuzzy clustering models have be...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...