127 search results - page 25 / 26 » Composing Complete and Partial Knowledge |
BMCBI
2010
13 years 7 months ago
2010
Background: Phylogenetic relationships between genes are not only of theoretical interest: they enable us to learn about human genes through the experimental work on their relativ...
CICLING
2007
Springer
14 years 1 months ago
2007
Springer
The present paper describes how dependency analysis can be used to automatically extract from a corpus a set of cases - and an accompanying vocabulary - which enable a template-bas...
VLDB
2005
ACM
14 years 14 days ago
2005
ACM
Cost-based query optimizers need to estimate the selectivity of conjunctive predicates when comparing alternative query execution plans. To this end, advanced optimizers use multi...
COMPGEOM
2004
ACM
14 years 13 days ago
2004
ACM
A frequently arising problem in computational geometry is when a physical structure, such as an ad-hoc wireless sensor network or a protein backbone, can measure local information...
FMCAD
2004
Springer
14 years 11 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...