84 search results - page 14 / 17 » General Euler Diagram Generation |
DAC
1997
ACM
13 years 11 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...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
— The centroidal momentum of a humanoid robot is the sum of the individual link momenta, after projecting each to the robot’s Center of Mass (CoM). Centroidal momentum is a lin...
JAR
2000
13 years 7 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
GG
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...