820 search results - page 84 / 164 » Inducing Temporal Graphs |
141
Voted
PADS
2004
ACM
15 years 8 months ago
2004
ACM
We investigated the benefit of exploiting the symmetries of graphs for partitioning. We represent the model to be simulated by a weighted graph. Graph symmetries are studied in th...
127
Voted
SOFSEM
2007
Springer
15 years 8 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
125
Voted
AVSS
2005
IEEE
15 years 8 months ago
2005
IEEE
We introduce a method for recovering the spatial and temporal alignment between two or more views of objects moving over a ground plane. Existing approaches either assume that the...
130
Voted
FASE
1998
Springer
15 years 6 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
125
Voted
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...