898 search results - page 17 / 180 » Transitions of the Pre-Symmetry Set |
CONCUR
1999
Springer
13 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]....
DM
2010
13 years 7 months ago
2010
We consider point-line geometries having three points on every line, having three lines through every point (bislim geometries), and containing triangles. We classify such geometr...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We consider the minimum equivalent digraph (directed network) problem (also known as the strong transitive reduction) and its maximum objective function variant, with two types of...
JASIS
2008
13 years 7 months ago
2008
Research on cross-language information retrieval (CLIR) has typically been restricted to settings using binary relevance assessments. In this paper, we present evaluation results f...
HYBRID
1997
Springer
13 years 11 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...