Sciweavers

686 search results - page 69 / 138
» Packing Cycles in Graphs
Sort
View
CHI
2007
ACM
16 years 3 months 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»
15 years 1 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
153
Voted
FMCO
2005
Springer
173views Formal Methods» more  FMCO 2005»
15 years 9 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á
DM
2010
128views more  DM 2010»
15 years 3 months 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...
150
Voted
IPL
2002
95views more  IPL 2002»
15 years 3 months 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