882 search results - page 80 / 177 » A Taste of Rewrite Systems |
142
Voted
PPSN
1994
Springer
15 years 4 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...
92
Voted
WWW
2008
ACM
16 years 1 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...
105
Voted
LICS
1991
IEEE
15 years 4 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,...
88
Voted
FUIN
2007
15 years 17 days 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...
104
Voted
AH
2008
Springer
15 years 7 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 ...