8512 search results - page 314 / 1703 » Computing Theory With Relevance |
122
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...
198
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...
182
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...
163
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, a colour text/graphics segmentation is proposed. Firstly, it takes advantage of colour properties by computing a relevant hybrid colour model. Then an edge detectio...
289
click to vote
Publication
Foundations of Mechanism Design: A Tutorial - Part 1: Key Concepts and Classical Results