279 search results - page 52 / 56 » Exact Algorithms for Cluster Editing: Evaluation and Experim... |
WIDM
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we propose a novel compact tree (Ctree) for XML indexing, which provides not only concise path summaries at the group level but also detailed child-parent links at ...
BMCBI
2006
14 years 11 months ago
2006
Background: An important class of interaction switches for biological circuits and disease pathways are short binding motifs. However, the biological experiments to find these bin...
113
click to vote
TSMC
2010
14 years 6 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
133
click to vote
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
BMCBI
2006
14 years 11 months ago
2006
Background: The annotations of Affymetrix DNA microarray probe sets with Gene Ontology terms are carefully selected for correctness. This results in very accurate but incomplete a...