Sciweavers

193 search results - page 11 / 39
» The structure of almost all graphs in a hereditary property
Sort
View
CSL
2007
Springer
14 years 1 months ago
The Power of Counting Logics on Restricted Classes of Finite Structures
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
Anuj Dawar, David Richerby
ICALP
2005
Springer
14 years 1 months ago
Preservation Under Extensions on Well-Behaved Finite Structures
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent t...
Albert Atserias, Anuj Dawar, Martin Grohe
PAKDD
2007
ACM
166views Data Mining» more  PAKDD 2007»
14 years 1 months ago
gPrune: A Constraint Pushing Framework for Graph Pattern Mining
In graph mining applications, there has been an increasingly strong urge for imposing user-specified constraints on the mining results. However, unlike most traditional itemset co...
Feida Zhu, Xifeng Yan, Jiawei Han, Philip S. Yu
BIOINFORMATICS
2007
151views more  BIOINFORMATICS 2007»
13 years 7 months ago
A new protein-protein docking scoring function based on interface residue properties
Motivation: Protein–protein complexes are known to play key roles in many cellular processes. However, they are often not accessible to experimental study because of their low s...
Julie Bernauer, Jérôme Azé, Jo...
BMCBI
2005
77views more  BMCBI 2005»
13 years 7 months ago
Structural comparison of metabolic networks in selected single cell organisms
Background: There has been tremendous interest in the study of biological network structure. An array of measurements has been conceived to assess the topological properties of th...
Dongxiao Zhu, Zhaohui S. Qin