Sciweavers

1087 search results - page 29 / 218
» Eta-Redexes in Partial Evaluation
Sort
View
IJCAI
1997
13 years 11 months ago
Probabilistic Partial Evaluation: Exploiting Rule Structure in Probabilistic Inference
Bayesian belief networks have grown to prominence because they provide compact representations of many domains, and there are algorithms to exploit this compactness. The next step...
David Poole
PEPM
1994
ACM
14 years 1 months ago
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand
It is well-known that self-applicable partial evaluation can be used to generate compiler generators: cogen = mix(mix;mix), where mix is the specializer (partial evaluator). Howev...
Anders Bondorf, Dirk Dussart
JCP
2007
111views more  JCP 2007»
13 years 9 months ago
Partially Dynamic Algorithms for Distributed Shortest Paths and their Experimental Evaluation
— In this paper, we study the dynamic version of the distributed all-pairs shortest paths problem. Most of the solutions given in the literature for this problem, either (i) work...
Serafino Cicerone, Gianlorenzo D'Angelo, Gabriele ...
CIKM
2008
Springer
13 years 11 months ago
Evaluating partial tree-pattern queries on XML streams
The streaming evaluation is a popular way of evaluating queries on XML documents. Besides its many advantages, it is also the only option for a number of important XML application...
Xiaoying Wu, Dimitri Theodoratos