882 search results - page 173 / 177 » Analysis of Composite Corridors |
BMCBI
2006
14 years 9 months ago
2006
Background: The rapidly increasing speed with which genome sequence data can be generated will be accompanied by an exponential increase in the number of sequenced eukaryotes. Wit...
92
Voted
BMCBI
2007
14 years 9 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
We analyse and compare the complexity of several algorithms for computing modular polynomials. We show that an algorithm relying on floating point evaluation of modular functions...
105
Voted
IPM
2007
14 years 9 months ago
2007
In this paper, we propose a multi-strategic matching and merging approach to find correspondences between ontologies based on the syntactic or semantic characteristics and constr...
99
Voted
JFP
2007
14 years 9 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...