4767 search results - page 316 / 954 » Structures for Abstract Rewriting |
154
click to vote
CONCUR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The unfolding method, initially introduced for systems modelled by Petri nets, is applied to synchronous products of transition systems, a model introduced by Arnold [2]....
193
click to vote
CONTEXT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice v...
187
click to vote
GD
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper, we present an object-oriented design and implementation of the core steps of the giotto algorithm for orthogonal graph drawing. Our design is motivated by ...
151
click to vote
SIGMETRICS
1996
ACM
15 years 10 months ago
1996
ACM
abstraction and a mechanized execution strategy, we are able to quickly construct working prototypes which can immediately be evaluated each of three environments: a device driver ...
183
click to vote
ISCAS
1994
IEEE
15 years 10 months ago
1994
IEEE
Abstract: Modified sign Haar transform with sign Walsh-like structure is introduced in this article. This nonlinear transform converts binary/ternary vectors into digital spectral ...