Sciweavers

882 search results - page 30 / 177
» A Taste of Rewrite Systems
Sort
View
84
Voted
CONCUR
2006
Springer
15 years 4 months ago
Concurrent Rewriting for Graphs with Equivalences
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari
KDD
2005
ACM
169views Data Mining» more  KDD 2005»
16 years 27 days ago
Analysis and Detection of Segment-Focused Attacks Against Collaborative Recommendation
Significant vulnerabilities have recently been identified in collaborative filtering recommender systems. These vulnerabilities mostly emanate from the open nature of such systems ...
Bamshad Mobasher, Robin D. Burke, Chad Williams, R...
85
Voted
DOLAP
2007
ACM
15 years 4 months ago
OLAP preferences: a research agenda
Expressing preferences when querying databases is a natural way to avoid empty results and information flooding, and in general to rank results so that the user may first see the ...
Stefano Rizzi
111
Voted
CORR
2006
Springer
120views Education» more  CORR 2006»
15 years 16 days ago
Termination orders for 3-dimensional rewriting
Abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource ma...
Yves Guiraud
113
Voted
BIRTHDAY
2004
Springer
15 years 5 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer