4131 search results - page 734 / 827 » The Generalized Max-Controlled Set Problem |
185
click to vote
ISSTA
2009
ACM
16 years 24 days ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...
166
click to vote
BIBM
2008
IEEE
16 years 23 days ago
2008
IEEE
Network alignments are extensively used for comparing, exploring, and predicting biological networks. Existing alignment tools are mostly based on isomorphic and homeomorphic embe...
142
click to vote
COCOON
2007
Springer
16 years 13 days ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
177
click to vote
GEOS
2007
Springer
16 years 13 days ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
170
click to vote
KBSE
2006
IEEE
16 years 8 days ago
2006
IEEE
Software systems often undergo many revisions during their lifetime as new features are added, bugs repaired, abstractions simplified and refactored, and performance improved. Wh...