3724 search results - page 176 / 745 » Timed regular expressions |
159
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...
118
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
1 The investigation of linguistic expressions of space and time typically presupposes an interdependency between these two related conceptual domains, resulting in a quasi-metaphor...
130
Voted
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
141
Voted
ISORC
2008
IEEE
15 years 11 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
141
click to vote
GREC
2003
Springer
15 years 9 months ago
2003
Springer
We aim to reconstruct three-dimensional polyhedral solids from axonometric-like line drawings. A new approach is proposed to make use of planes of mirror symmetry detected in such ...