5889 search results - page 454 / 1178 » Graph Layout Problems |
189
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
213
click to vote
IJCAI
1989
15 years 8 months ago
1989
This paper will present a generalisation of chart parsing able to cope with the case where the object being parsed is a particular kind of diagram (a flowgraph) and the grammar is...
183
click to vote
COMBINATORICS
2006
15 years 7 months ago
2006
Let T be the Cayley graph of a finitely generated free group F. Given two vertices in T consider all the walks of a given length between these vertices that at a certain time must...
170
click to vote
DM
2006
15 years 7 months ago
2006
Broadcast domination was introduced by Erwin in 2002, and it is a variant of the standard dominating set problem, such that different vertices can be assigned different domination...
179
click to vote
COMBINATORICS
2000
15 years 7 months ago
2000
A counterexample is presented to Gy. Elekes's conjecture concerning the existence of long 2-colored paths in properly colored graphs. A modified version of the conjecture is ...