8699 search results - page 1648 / 1740 » Elements of the Theory of Computation |
BMCBI
2008
14 years 11 months ago
2008
Background: Last years' mapping of diverse genomes has generated huge amounts of biological data which are currently dispersed through many databases. Integration of the info...
BMCBI
2008
14 years 11 months ago
2008
Background: Accurate identification of splice sites in DNA sequences plays a key role in the prediction of gene structure in eukaryotes. Already many computational methods have be...
107
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
COMBINATORICA
2008
14 years 11 months ago
2008
Consider the following seemingly rhetorical question: Is it crucial for a property-tester to know the error parameter in advance? Previous papers dealing with various testing prob...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
A major enterprise in compressed sensing and sparse approximation is the design and analysis of computationally tractable algorithms for recovering sparse, exact or approximate, s...