9110 search results - page 1561 / 1822 » Formally-Based Design Evaluation |
135
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Achieving weighted throughput maximization (WTM) through power control has been a long standing open problem in interference-limited wireless networks. The complicated coupling bet...
132
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The problem of finding a Shortest Common Supersequence (SCS) of a set of sequences is an important problem with applications in many areas. It is a key problem in biol...
154
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: In the post-genome era, most research scientists working in the field of proteomics are confronted with difficulties in management of large volumes of data, which they...
239
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Metabolic Flux Analysis (MFA) based on isotope labeling experiments (ILEs) is a widely established tool for determining fluxes in metabolic pathways. Isotope labeling ...
158
click to vote
IPM
2008
15 years 4 months ago
2008
Many machine learning technologies such as support vector machines, boosting, and neural networks have been applied to the ranking problem in information retrieval. However, since...