Sciweavers

446 search results - page 18 / 90
» Extremal Stable Graphs
Sort
View
AGILEDC
2006
IEEE
14 years 2 months ago
The Pairing Session as the Atomic Unit of Work
We have an Extreme Programming team at a small company dedicated to the Agile approach. Our team of 7 developers decided to use the pairing session as the fundamental unit of work...
Troy Frever, Paul Ingalls
FORMATS
2006
Springer
14 years 3 days ago
Symbolic Robustness Analysis of Timed Automata
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
Conrado Daws, Piotr Kordy
ICPR
2006
IEEE
14 years 9 months ago
Graph Matching using Commute Time Spanning Trees
This paper exploits the properties of the commute time for the purposes of graph matching. Our starting point is the random walk on the graph, which is determined by the heat-kern...
Edwin R. Hancock, Huaijun Qiu
JGT
2010
103views more  JGT 2010»
13 years 7 months ago
Proof of a conjecture on fractional Ramsey numbers
: Jacobson, Levin, and Scheinerman introduced the fractional Ramsey function rf (a1,a2, ...,ak) as an extension of the classical definition for Ramsey numbers. They determined an e...
Jason Brown, Richard Hoshino
DM
1999
90views more  DM 1999»
13 years 8 months ago
Induced subgraphs of given sizes
We say (n, e) (m, f), an (m, f) subgraph is forced, if every n-vertex graph of size e has an m-vertex spanned subgraph with f edges. For example, as Tur
Paul Erdös, Zoltán Füredi, Bruce ...