1163 search results - page 163 / 233 » Embedding into Bipartite Graphs |
161
click to vote
CATS
2006
15 years 7 months ago
2006
A complete description and proof of correctness are given for a new polynomial time algorithm for a class of codes based on directed graphs and involving construction well known i...
163
Voted
DIMACS
1996
15 years 7 months ago
1996
: We review the expressibility of some basic graph properties in certain fragments of Monadic Second-Order logic, like the set of Monadic-NP formulas. We focus on cases where a pro...
151
click to vote
INFOVIS
2005
IEEE
15 years 11 months ago
2005
IEEE
The most common approach to support analysis of graphs with associated time series data include: overlay of data on graph vertices for one timepoint at a time by manipulating a vi...
162
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
170
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...