Sciweavers

505 search results - page 13 / 101
» On A Graph Formalism for Ordered Edges
Sort
View
COMBINATORICS
2004
90views more  COMBINATORICS 2004»
14 years 9 months ago
Goldberg-Coxeter Construction for 3- and 4-valent Plane Graphs
We consider the Goldberg-Coxeter construction GCk,l(G0) (a generalization of a simplicial subdivision of the dodecahedron considered in [Gold37] and [Cox71]), which produces a pla...
Mathieu Dutour, Michel Deza
COCOON
2003
Springer
15 years 2 months ago
Graph Coloring and the Immersion Order
The relationship between graph coloring and the immersion order is considered. Vertex connectivity, edge connectivity and related issues are explored. These lead to the conjecture...
Faisal N. Abu-Khzam, Michael A. Langston
DM
1998
69views more  DM 1998»
14 years 9 months ago
A study of the total chromatic number of equibipartite graphs
The total chromatic number zt(G) of a graph G is the least number of colors needed to color the vertices and edges of G so that no adjacent vertices or edges receive the same colo...
Bor-Liang Chen, Chun-Kan Cheng, Hung-Lin Fu, Kuo-C...
FM
2009
Springer
134views Formal Methods» more  FM 2009»
14 years 7 months ago
Partial Order Reductions Using Compositional Confluence Detection
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
Frédéric Lang, Radu Mateescu
SMA
2008
ACM
172views Solid Modeling» more  SMA 2008»
14 years 9 months ago
Guarding curvilinear art galleries with edge or mobile guards
In this paper we consider the problem of monitoring an art gallery modeled as a polygon, the edges of which are arcs of curves. We consider two types of guards: edge guards (these...
Menelaos I. Karavelas