1153 search results - page 142 / 231 » Reversing graph transformations |
176
click to vote
IPAW
2010
15 years 13 days ago
2010
Data provenance graphs are form of metadata that can be used to establish a variety of properties of data products that undergo sequences of transformations, typically specified as...
108
Voted
IFIP
2009
Springer
15 years 6 days ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
122
click to vote
ECEASST
2006
15 years 2 months ago
2006
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...
114
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
In this paper, we introduce a Shared Multiple Rooted XORbased Decomposition Diagram XORDD to represent functions with multiple outputs. Based on the XORDD representation, we dev...
136
click to vote
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
A framework for mapping a polar-like coordinate system to a non-rigid shape is presented. Using a graph pyramid, a binary shape is decomposed into connected parts, based on its st...