Sciweavers

871 search results - page 58 / 175
» The vertex-cover polynomial of a graph
Sort
View
FSTTCS
2007
Springer
15 years 3 months ago
Undirected Graphs of Entanglement 2
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
Walid Belkhir, Luigi Santocanale
ACSD
2006
IEEE
106views Hardware» more  ACSD 2006»
15 years 3 months ago
On the Complexity of Consistency and Complete State Coding for Signal Transition Graphs
Signal Transition Graphs (STGs) are a popular formalism for the specification of asynchronous circuits. A necessary condition for the implementability of an STG is the existence ...
Javier Esparza, Petr Jancar, Alexander Miller
ICCS
2003
Springer
15 years 2 months ago
A Semantic Search Approach by Graph Matching with Negations and Inferences
Research on semantic search has become heated these years. In this paper we propose an approach focusing on searching for resources with descriptions. The knowledge representation ...
Kewei Tu, Jing Lu, Haiping Zhu, Guowei Liu, Yong Y...
JGT
2006
60views more  JGT 2006»
14 years 9 months ago
Spanning subgraphs of graphs partitioned into two isomorphic pieces
: A graph has the neighbor-closed-co-neighbor, or ncc property, if for each of its vertices x, the subgraph induced by the neighbor set of x is isomorphic to the subgraph induced b...
Anthony Bonato
SSS
2010
Springer
134views Control Systems» more  SSS 2010»
14 years 8 months ago
Storage Capacity of Labeled Graphs
We consider the question of how much information can be stored by labeling the vertices of a connected undirected graph G using a constant-size set of labels, when isomorphic label...
Dana Angluin, James Aspnes, Rida A. Bazzi, Jiang C...