509 search results - page 70 / 102 » Standardization and Testing of Mathematical Functions |
141
Voted
ALMOB
2006
15 years 2 months ago
2006
Background: Discovering approximately repeated patterns, or motifs, in biological sequences is an important and widely-studied problem in computational molecular biology. Most fre...
119
click to vote
CAV
2009
Springer
16 years 3 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
135
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: Time course microarray profiles examine the expression of genes over a time domain. They are necessary in order to determine the complete set of genes that are dynamic...
120
Voted
ICCS
2004
Springer
15 years 8 months ago
2004
Springer
We have upgraded the Conceptual Programming Environment (CP) from a single standalone application to a set of component modules to increase flexibility of the environment and to a...
157
Voted
CVIU
2010
15 years 2 months ago
2010
We address the problem of variational optical flow for video processing applications that need fast operation and robustness to drastic variations in illumination. Recently, a sol...