1940 search results - page 182 / 388 » Graph Transformation with Variables |
192
Voted
IPAW
2010
15 years 1 months 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...
117
click to vote
IFIP
2009
Springer
15 years 1 months 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 ...
139
Voted
ECEASST
2006
15 years 3 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 ...
121
Voted
DAC
1997
ACM
15 years 8 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...
138
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
Probabilistic models have been previously shown to be efficient and effective for modeling and recognition of human motion. In particular we focus on methods which represent the h...