347 search results - page 16 / 70 » Computable Versions of Basic Theorems in Functional Analysis |
110
click to vote
GRID
2004
Springer
15 years 5 months ago
2004
Springer
This paper reports on the design, implementation and performance evaluation of a suite of GridRPC programming middleware called Ninf-G Version 2 (Ninf-G2). NinfG2 is a reference i...
LICS
2008
IEEE
15 years 6 months ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
ICCV
1999
IEEE
16 years 1 months ago
1999
IEEE
The technique of independent component analysis (ICA) is applied for texture feature detection. In ICA an optimal transformation (with respect to the statistical structure of the i...
RT
1995
Springer
15 years 3 months ago
1995
Springer
Abstract: The problem of global illumination is virtually synonymouswith solving the rendering equation. Although a great deal of research has been directed toward Monte Carlo and ...
175
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...