9455 search results - page 1801 / 1891 » The Modelling Language Zinc |
SLOGICA
2002
15 years 1 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
124
click to vote
TCS
2002
15 years 1 months ago
2002
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
117
click to vote
TOG
2002
15 years 1 months ago
2002
This paper introduces a new kind of mosaic, called Jigsaw Image Mosaic (JIM), where image tiles of arbitrary shape are used to compose the final picture. The generation of a Jigsa...
121
click to vote
VLDB
2002
ACM
15 years 1 months ago
2002
ACM
All existing proposals for querying XML (e.g., XQuery) rely on a pattern-specification language that allows (1) path navigation and branching through the label structure of the XM...
119
click to vote
CGF
2010
15 years 1 months ago
2010
Strange attractors of 3D vector field flows sometimes have a fractal geometric structure in one dimension, and smooth surface behavior in the other two. General flow visualization...