23201 search results - page 84 / 4641 » Rewriting Systems with Data |
173
click to vote
DBSEC
2006
15 years 6 months ago
2006
We demonstrate how access control models and policies can be represented by using term rewriting systems, and how rewriting may be used for evaluating access requests and for provi...
161
click to vote
ENTCS
2008
15 years 5 months ago
2008
Computational origami is the computer assisted study of mathematical and computational aspects of origami. An origami is constructed by a finite sequence of fold steps, each consi...
161
Voted
TCS
2008
15 years 5 months ago
2008
In this paper, we present a fully automatizable approach to detecting loops in standard term rewriting. Our method is based on semi-unification and an unfolding operation which pr...
111
click to vote
VLDB
1997
ACM
15 years 9 months ago
1997
ACM
This paper describes the Array Manipulation Language (AML), an algebra for multidimensional array data. AML is generic, in the sense that it can be customized to support a wide va...
130
Voted
BIRTHDAY
1997
Springer
15 years 9 months ago
1997
Springer
We study a Lindenmayer-like parallel rewriting system to model the growth of filaments (arrays of cells) in which developmental errors may occur. In essence this model is the fuzz...