191 search results - page 33 / 39 » The basic feasible functionals in computable analysis |
125
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
151
click to vote
CGF
2011
14 years 5 months ago
2011
We present a novel method to estimate an approximation of the reflectance characteristics of optically thick, homogeneous translucent materials using only a single photograph as ...
101
click to vote
PAMI
2008
15 years 1 months ago
2008
In this paper, we develop a spatially-variant (SV) mathematical morphology theory for gray-level signals and images in the euclidean space. The proposed theory preserves the geomet...
150
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The success of Internet telephony services like Skype illustrates the feasibility of utilizing unstructured Peer-to-Peer (P2P) networks as an economical platform for supp...
129
Voted
TSMC
2002
15 years 1 months ago
2002
By exploiting the Fourier series expansion, we have developed a new constructive method of automatically generating a multivariable fuzzy inference system from any given sample set...