8699 search results - page 368 / 1740 » Elements of the Theory of Computation |
124
click to vote
ENTCS
2008
15 years 6 months ago
2008
We de ne the e ective integrability of Fine-computable functions and e ectivize some fundamental limit theorems in the theory of Lebesgue integral such as Bounded Convergence Theo...
205
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
187
click to vote
TAL
2010
Springer
15 years 1 months ago
2010
Springer
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
219
click to vote
TVCG
2012
13 years 9 months ago
2012
—A fundamental goal of visualization is to produce images of data that support visual analysis, exploration, and discovery of novel insights. An important consideration during vi...
169
Voted
ICIP
1994
IEEE
15 years 11 months ago
1994
IEEE
We develop a general theory of spatially-variant (SV) mathematical morphology for binary images in the Euclidean space. The basic SV morphological operators (that is, SV erosion, S...