29 search results - page 1 / 6 » A Rule Format for Unit Elements |
ENTCS
2010
13 years 4 months ago
2010
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...
SOFSEM
2010
Springer
14 years 1 months ago
2010
Springer
JOCN
2010
12 years 11 months ago
2010
Multiple stimuli that are present simultaneously in the visual field compete for neural representation. At the same time, however, multiple stimuli in cluttered scenes also underg...
PROCEDIA
2010
12 years 11 months ago
2010
We argue that producing maintainable high-performance implementations of finite element methods for multiple targets requires that they are written using a high-level domain-speci...
FDL
2004
IEEE
13 years 8 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...