1940 search results - page 26 / 388 » Graph Transformation with Variables |
145
click to vote
ISAAC
1993
Springer
15 years 6 months ago
1993
Springer
A binary decision diagram (BDD) is a directed acyclic graph for representing a Boolean function. BDD’s are widely used in various areas which require Boolean function manipulatio...
125
click to vote
GG
2004
Springer
15 years 7 months ago
2004
Springer
We propose to study two infinite graph transformations that we respectively call bounded and unbounded path transduction. These graph transformations are based on path substitutio...
110
click to vote
UAI
2004
15 years 3 months ago
2004
This paper concerns the assessment of the effects of actions from a combination of nonexperimental data and causal assumptions encoded in the form of a directed acyclic graph in w...
110
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract-- This paper considers when a discrete-time periodic non-homogeneous system can be transformed to a time-invariant one by using regular linear mappings of state variables,...
132
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
With semiconductor fabrication technologies scaled below 100 nm, the design-manufacturing interface becomes more and more complicated. The resultant process variability causes a nu...