Sciweavers

820 search results - page 9 / 164
» Inducing Temporal Graphs
Sort
View
ENDM
2007
52views more  ENDM 2007»
13 years 8 months ago
Induced trees in triangle-free graphs
Jirí Matousek, Robert Sámal
ENDM
2007
68views more  ENDM 2007»
13 years 8 months ago
Detecting induced subgraphs
An s-graph is a graph with two kind of edges: subdivisible edges and real edges. A realisation of an s-graph B is any graph obtained by subdividing subdivisible edges of B into pa...
Benjamin Lévêque, David Y. Lin, Fr&ea...
VLSID
2005
IEEE
255views VLSI» more  VLSID 2005»
14 years 8 months ago
Estimation of Switching Activity in Sequential Circuits Using Dynamic Bayesian Networks
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...
Sanjukta Bhanja, Karthikeyan Lingasubramanian, N. ...
TAGT
1998
Springer
317views Graph Theory» more  TAGT 1998»
14 years 18 days ago
A Fully Abstract Model for Graph-Interpreted Temporal Logic
Fabio Gadducci, Reiko Heckel, Manuel Koch