1310 search results - page 96 / 262 » Parameterized Partial Evaluation |
IDEAS
2006
IEEE
15 years 4 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 4 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 4 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 ...
ISMIS
1999
Springer
15 years 2 months ago
1999
Springer
Knowledge Discovery in Databases (KDD) is a data analysis process which, in contrast to conventional data analysis, automatically generates and evaluates very many hypotheses, deal...
PEPM
1994
ACM
15 years 2 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...