1420 search results - page 44 / 284 » Representation of Graphs by OBDDs |
222
click to vote
WG
2004
Springer
15 years 11 months ago
2004
Springer
A unit disk graph is the intersection graph of unit disks in the euclidean plane. We present a polynomial-time approximation scheme for the maximum weight independent set problem i...
132
click to vote
GD
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we present a novel approach for cluster-based drawing of large planar graphs that maintains planarity. Our technique works for arbitrary planar graphs and produces a ...
143
click to vote
ICIP
1997
IEEE
15 years 10 months ago
1997
IEEE
We develop a new method for building a representation of an image from a library of basis elements that is facilitated by a joint adaptive space and frequency JASF graph. The JA...
138
click to vote
SSDBM
1990
IEEE
15 years 10 months ago
1990
IEEE
In this paper we explore the structure and semantic properties of the entities stored in statistical databases. We call such entities "statistical objects" (SOS) and prop...
192
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...