1659 search results - page 3 / 332 » From Functional Analysis to Iterative Methods |
ICCD
2001
IEEE
14 years 2 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
BMCBI
2011
13 years 23 days ago
2011
Background: Computational analysis of metagenomes requires the taxonomical assignment of the genome contigs assembled from DNA reads of environmental samples. Because of the diver...
CSB
2005
IEEE
13 years 11 months ago
2005
IEEE
There is a diversity of functional genomics data, such as gene expression data from microarray experiments, phenotypic data from gene deletion experiments, protein-protein interac...
MOC
2011
13 years 21 days ago
2011
We present an asymptotically fast algorithm for the numerical evaluation of modular functions such as the elliptic modular function j. Our algorithm makes use of the natural connec...
CVBIA
2005
Springer
13 years 11 months ago
2005
Springer
In non-rigid image registration problems, it can be difficult to construct a single cost function that adequately captures concepts of similarity for multiple structures, for examp...