23201 search results - page 81 / 4641 » Rewriting Systems with Data |
150
click to vote
TCS
1998
15 years 4 months ago
1998
We provide a global technique, called neatening, for the study of modularity of left-linear Term Rewriting Systems. Objects called bubbles are identi ed as the responsibles of mos...
157
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
124
click to vote
IDEAS
2005
IEEE
15 years 11 months ago
2005
IEEE
The modern XML query language called XQuery includes advanced facilities both to query and to transform XML data. An XQuery query optimizer should be able to optimize any query. F...
152
click to vote
GEOS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Often the information present in a spatial knowledge base is represented at a different level of granularity and abstraction than the query constraints. For querying onto...
192
click to vote
DKE
2008
15 years 5 months ago
2008
The availability of large amounts of heterogeneous distributed web data necessitates the integration of XML data from multiple XML sources for many reasons. For example, currently,...