Sciweavers

1140 search results - page 197 / 228
» Progress on Certifying Algorithms
Sort
View
133
Voted
BMCBI
2011
14 years 7 months ago
PhyloSim - Monte Carlo simulation of sequence evolution in the R statistical computing environment
Background: The Monte Carlo simulation of sequence evolution is routinely used to assess the performance of phylogenetic inference methods and sequence alignment algorithms. Progr...
Botond Sipos, Tim Massingham, Gregory E. Jordan, N...
127
Voted
SODA
2012
ACM
253views Algorithms» more  SODA 2012»
13 years 3 months ago
Kernelization of packing problems
Kernelization algorithms are polynomial-time reductions from a problem to itself that guarantee their output to have a size not exceeding some bound. For example, d-Set Matching f...
Holger Dell, Dániel Marx
ICDE
2009
IEEE
177views Database» more  ICDE 2009»
16 years 2 months ago
Light-Weight, Runtime Verification of Query Sources
Modern database systems increasingly make use of networked storage. This storage can be in the form of SAN's or in the form of shared-nothing nodes in a cluster. One type of a...
Tingjian Ge, Stanley B. Zdonik
237
Voted
ICDE
2006
IEEE
135views Database» more  ICDE 2006»
16 years 1 months ago
Reverse Nearest Neighbors Search in Ad-hoc Subspaces
Given an object q, modeled by a multidimensional point, a reverse nearest neighbors (RNN) query returns the set of objects in the database that have q as their nearest neighbor. I...
Man Lung Yiu, Nikos Mamoulis
111
Voted
WWW
2008
ACM
16 years 1 months ago
Automatic online news issue construction in web environment
In many cases, rather than a keyword search, people intend to see what is going on through the Internet. Then the integrated comprehensive information on news topics is necessary,...
Canhui Wang, Min Zhang, Shaoping Ma, Liyun Ru