1846 search results - page 172 / 370 » Generating query substitutions |
BMCBI
2010
13 years 8 months ago
2010
Background: With the continued development of new computational tools for multiple sequence alignment, it is necessary today to develop benchmarks that aid the selection of the mo...
JACM
2007
13 years 7 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
AI
2002
Springer
13 years 7 months ago
2002
Springer
Combinatorial auctions, that is, auctions where bidders can bid on combinations of items, tend to lead to more efficient allocations than traditional auction mechanisms in multi-i...
BMCBI
2011
13 years 3 months ago
2011
Background: In many environmental genomics applications a homologous region of DNA from a diverse sample is first amplified by PCR and then sequenced. The next generation sequenci...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Given very few images containing a common object of interest under severe variations in appearance, we detect the common object and provide a compact visual representation of that...