23201 search results - page 109 / 4641 » Rewriting Systems with Data |
151
click to vote
POPL
1994
ACM
15 years 9 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
133
click to vote
NAACL
2007
15 years 6 months ago
2007
Information retrieval systems are frequently required to handle long queries. Simply using all terms in the query or relying on the underlying retrieval model to appropriately wei...
133
click to vote
APBC
2004
15 years 6 months ago
2004
This article describes a dispensation order generation algorithm for genotyping using the Pyrosequencing method. The input template of the algorithm is a slightly restricted regul...
125
click to vote
JUCS
2002
15 years 5 months ago
2002
: We consider a uniform way of treating objects and rules in P systems: we start with multisets of rules, which are consumed when they are applied, but the application of a rule ma...
145
click to vote
RTA
2010
Springer
15 years 3 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and...