Sciweavers

7991 search results - page 306 / 1599
» Using More Reasoning to Improve
Sort
View
CIE
2007
Springer
16 years 27 days ago
The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number
In the framework of parameterized complexity, exploring how one parameter affects the complexity of a different parameterized (or unparameterized problem) is of general interest....
Michael R. Fellows, Frances A. Rosamond
CIKM
2008
Springer
15 years 8 months ago
Using English information in non-English web search
The leading web search engines have spent a decade building highly specialized ranking functions for English web pages. One of the reasons these ranking functions are effective is...
Wei Gao, John Blitzer, Ming Zhou
CPAIOR
2005
Springer
16 years 7 days ago
Formulations and Reformulations in Integer Programming
Creating good integer programming formulations had, as a basic axiom, the rule “Find formulations with tighter linear relaxations”. This rule, while useful when using unsophist...
Michael A. Trick
BMCBI
2011
15 years 1 months ago
Assessing the benefits of using mate-pairs to resolve repeats in de novo short-read prokaryotic assemblies
Background: Next-generation sequencing technologies allow genomes to be sequenced more quickly and less expensively than ever before. However, as sequencing technology has improve...
Joshua Wetzel, Carl Kingsford, Mihai Pop
UAI
1998
15 years 8 months ago
Learning From What You Don't Observe
The process of diagnosis involves learning about the state of a system from various observations of symptoms or findings about the system. Sophisticated Bayesian (and other) algor...
Mark A. Peot, Ross D. Shachter