23201 search results - page 79 / 4641 » Rewriting Systems with Data |
165
click to vote
ENTCS
2007
15 years 5 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
152
click to vote
AMW
2009
15 years 6 months ago
2009
Abstract. Rewriting of conjunctive queries using views has many applications in database and data integration. We investigate ways to improve performance of rewriting and propose a...
150
Voted
TREC
2004
15 years 6 months ago
2004
This is the first year that the Dalhousie University participated in TREC. We submitted three runs for the QA track. Our evaluation results are generally below the median (with on...
154
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
150
Voted
ICNP
1998
IEEE
15 years 9 months ago
1998
IEEE
To construct high performance Web servers, system builders are increasingly turning to distributed designs. An important challenge that arises in such designs is the need to direc...