Sciweavers

882 search results - page 45 / 177
» A Taste of Rewrite Systems
Sort
View
ECIR
2010
Springer
13 years 9 months ago
Personalizing Web Search with Folksonomy-Based User and Document Profiles
Web search personalization aims to adapt search results to a user based on his tastes, interests and needs. The way in which such personal preferences are captured, modeled and exp...
David Vallet, Iván Cantador, Joemon M. Jose
ENTCS
2007
126views more  ENTCS 2007»
13 years 7 months ago
Modelling Calculi with Name Mobility using Graphs with Equivalences
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari
WRLA
2010
13 years 6 months ago
The Third Rewrite Engines Competition
This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III). This edition of the competition took place as part of the 8th Workshop on R...
Francisco Durán, Manuel Roldán, Jean...
FSTTCS
2006
Springer
13 years 11 months ago
Context-Sensitive Dependency Pairs
Termination is one of the most interesting problems when dealing with context-sensitive rewrite systems. Although there is a good number of techniques for proving termination of co...
Beatriz Alarcón, Raúl Gutiérr...