Sciweavers

686 search results - page 69 / 138
» Packing Cycles in Graphs
Sort
View
78
Voted
CHI
2007
ACM
16 years 28 days ago
A theory-based approach to designing student learning context
How can we keep technology-focused computing and software engineering students interested and engaged in a soft subject like HCI? How can we avoid leaving the less gifted and less...
Jarinee Chattratichart
JCT
2010
110views more  JCT 2010»
14 years 11 months ago
Pancyclicity of Hamiltonian and highly connected graphs
A graph G on n vertices is Hamiltonian if it contains a cycle of length n and pancyclic if it contains cycles of length for all 3 ≤ ≤ n. Write α(G) for the independence numbe...
Peter Keevash, Benny Sudakov
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
15 years 6 months ago
Cluster-Based LTL Model Checking of Large Systems
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
Jiri Barnat, Lubos Brim, Ivana Cerná
94
Voted
DM
2010
128views more  DM 2010»
15 years 19 days ago
Some remarks on the geodetic number of a graph
A set of vertices D of a graph G is geodetic if every vertex of G lies on a shortest path between two not necessarily distinct vertices in D. The geodetic number of G is the minimu...
Mitre Costa Dourado, Fábio Protti, Dieter R...
117
Voted
IPL
2002
95views more  IPL 2002»
15 years 7 days ago
On a game in directed graphs
Inspired by recent algorithms for electing a leader in a distributed system, we study the following game in a directed graph: each vertex selects one of its outgoing arcs (if any)...
Alan J. Hoffman, Kate Jenkins, Tim Roughgarden