658 search results - page 19 / 132 » A Logic for Graphs with QoS |
ICCAD
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...
93
Voted
GD
2004
Springer
15 years 5 months ago
2004
Springer
We consider the following graph embedding question: given a graph G, is it possible to map its vertices to points in 3D such that G is isomorphic to the mutual nearest neighbor gra...
SECURWARE
2008
IEEE
15 years 6 months ago
2008
IEEE
Trust network analysis with subjective logic (TNA-SL) simplifies complex trust graphs into series-parallel graphs by removing the most uncertain paths to obtain a canonical graph...
FOSSACS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of ...
FUIN
2010
14 years 9 months ago
2010
We study 0-1 laws for extensions of first-order logic by Lindstr