6153 search results - page 15 / 1231 » Modeling Cyclic Change |
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
We construct finite groups whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour ...
JUCS
2010
13 years 6 months ago
2010
: Recent work on social networks has tackled the measurement and optimization of these networks’ robustness and resilience to both failures and attacks. Different metrics have be...
IOR
2006
13 years 7 months ago
2006
This paper studies the M/M/s+M queue, i.e., the M/M/s queue with customer abandonment, also called the Erlang-A model, having independent and identically distributed customer aban...
AVSS
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this work we propose a dynamic scene model to provide information about the presence of salient motion in the scene, and that could be used for focusing the attention of a pa...
ENTCS
2007
13 years 7 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...