292 search results - page 34 / 59 » Inference and enforcement of data structure consistency spec... |
BMCBI
2007
13 years 7 months ago
2007
Background: Nowadays modern biology aims at unravelling the strands of complex biological structures such as the protein-protein interaction (PPI) networks. A key concept in the o...
JAR
2006
13 years 7 months ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
BMCBI
2008
13 years 7 months ago
2008
Background: There is an urgent need for new prognostic markers of breast cancer metastases to ensure that newly diagnosed patients receive appropriate therapy. Recent studies have...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We propose a hybrid body representation that represents each typical pose by both template-like view information and part-based structural information. Specifically, each body par...
AAAI
2006
13 years 9 months ago
2006
We present a new method for mapping ontology schemas that address similar domains. The problem of ontology mapping is crucial since we are witnessing a decentralized development a...