Sciweavers

1161 search results - page 132 / 233
» Kinetic Dependence Graphs
Sort
View
SLS
2009
Springer
243views Algorithms» more  SLS 2009»
15 years 11 months ago
Estimating Bounds on Expected Plateau Size in MAXSAT Problems
Stochastic local search algorithms can now successfully solve MAXSAT problems with thousands of variables or more. A key to this success is how effectively the search can navigate...
Andrew M. Sutton, Adele E. Howe, L. Darrell Whitle...
IWPC
2006
IEEE
15 years 11 months ago
Evolution Storyboards: Visualization of Software Structure Dynamics
Large software systems have a rich development history. Mining certain aspects of this rich history can reveal interesting insights into the system and its structure. Previous app...
Dirk Beyer, Ahmed E. Hassan
VALUETOOLS
2006
ACM
107views Hardware» more  VALUETOOLS 2006»
15 years 11 months ago
Thresholds for virus spread on networks
We study how the spread of computer viruses, worms, and other self-replicating malware is affected by the logical topology of the network over which they propagate. We consider a...
Moez Draief, Ayalvadi J. Ganesh, Laurent Massouli&...
WG
2005
Springer
15 years 10 months ago
Induced Subgraphs of Bounded Degree and Bounded Treewidth
We prove that for all 0 ≤ t ≤ k and d ≥ 2k, every graph G with treewidth at most k has a ‘large’ induced subgraph H, where H has treewidth at most t and every vertex in ...
Prosenjit Bose, Vida Dujmovic, David R. Wood
ICPR
2010
IEEE
15 years 9 months ago
Efficient Semantic Indexing for Image Retrieval
Semantic analysis of a document collection can be viewed as an unsupervised clustering of the constituent words and documents around hidden or latent concepts. This has shown to i...
Chandrika Pulla, Suman Karthik, C. V. Jawahar