1221 search results - page 151 / 245 » Two Consistency Results on Set Mappings |
173
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: A major goal of molecular biology is determining the mechanisms that control the transcription of genes. Motif Enrichment Analysis (MEA) seeks to determine which DNA-b...
181
click to vote
CP
2000
Springer
15 years 10 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
206
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
161
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Genetic recombination can produce heterogeneous phylogenetic histories within a set of homologous genes. These recombination events can be obscured by subsequent resid...
179
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
This article proposes a novel similarity measure between
vector sequences. Recently, a model-based approach was
introduced to address this issue. It consists in modeling
each se...