882 search results - page 80 / 177 » A Taste of Rewrite Systems |
165
click to vote
PPSN
1994
Springer
15 years 7 months ago
1994
Springer
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
113
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
A lot of recent research has focused on the content-based dissemination of XML data. However, due to the heterogeneous data schemas used by different data publishers even for data...
126
click to vote
LICS
1991
IEEE
15 years 6 months ago
1991
IEEE
Abstract. We extend the termination proof methods based on reduction orderings to higher-order rewriting systems `a la Nipkow using higher-order pattern matching for firing rules,...
104
click to vote
FUIN
2007
15 years 3 months ago
2007
It is shown that the boundedness problem for a certain class of basic object nets and a corresponding class of multiset rewriting systems is decidable. To achieve this result Dicks...
132
click to vote
AH
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. User-to-user similarity is a fundamental component of Collaborative Filtering (CF) recommender systems. In user-to-user similarity the ratings assigned by two users to a ...