Sciweavers

882 search results - page 45 / 177
» A Taste of Rewrite Systems
Sort
View
75
Voted
CORR
2009
Springer
85views Education» more  CORR 2009»
14 years 10 months ago
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
Benoît Boyer, Thomas Genet
106
Voted
ECIR
2010
Springer
15 years 2 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
67
Voted
ENTCS
2007
126views more  ENTCS 2007»
15 years 15 days 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
96
Voted
WRLA
2010
14 years 11 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...
117
Voted
FSTTCS
2006
Springer
15 years 4 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...