8828 search results - page 1421 / 1766 » Formal methods in practice |
209
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Complete sequencing of bacterial genomes has become a common technique of present day microbiology. Thereafter, data mining in the complete sequence is an essential st...
208
click to vote
CG
2005
Springer
15 years 6 months ago
2005
Springer
In Monte-Carlo photon-tracing methods energy-carrying particles are traced in an environment to generate hit points on object surfaces for simulating global illumination. The surf...
188
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: Molecular characterization has contributed to the understanding of the inception, progression, treatment and prognosis of cancer. Nucleic acid array-based technologies...
184
click to vote
JAL
2002
15 years 6 months ago
2002
We take a multivariate view of digital search trees by studying the number of nodes of different types that may coexist in a bucket digital search tree as it grows under an arbitr...
192
click to vote
INTR
2010
15 years 5 months ago
2010
Purpose – Web search engines are frequently used by people to locate information on the Internet. However, not all queries have an informational goal. Instead of information, so...