Sciweavers

1161 search results - page 132 / 233
» Kinetic Dependence Graphs
Sort
View
108
Voted
SLS
2009
Springer
243views Algorithms» more  SLS 2009»
15 years 7 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...
125
Voted
IWPC
2006
IEEE
15 years 6 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
104
Voted
VALUETOOLS
2006
ACM
107views Hardware» more  VALUETOOLS 2006»
15 years 6 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&...
103
Voted
WG
2005
Springer
15 years 6 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
101
Voted
ICPR
2010
IEEE
15 years 4 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