1090 search results - page 69 / 218 » Resource-Bounded Partial Evaluation |
129
click to vote
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
Fast level set methods replace continuous PDEs by a discrete formulation, improving the execution times. The regularization in fast level set methods was so far handled indirectly...
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
The major challenges in automatic multi-sensor image registration are the inconsistency in intensity or contrast patterns, and the existence of partial or missing information betw...
IDEAS
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we present SURCH, a novel decentralized algorithm for efficient processing of queries generated in sensor networks. Unlike existing techniques, SURCH is fully dist...
TPHOL
2006
IEEE
15 years 3 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
AH
2006
Springer
15 years 3 months ago
2006
Springer
Nowadays, the information overload highlights the importance of personalization systems providing services according to users' interests and needs, as expressed by their User ...