2996 search results - page 569 / 600 » Dynamic Traveling Repairperson Problem for dynamic systems |
136
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Multiple sequence alignment (MSA) is a useful tool in bioinformatics. Although many MSA algorithms have been developed, there is still room for improvement in accuracy...
141
click to vote
TCAD
2008
15 years 1 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
132
click to vote
ASE
2005
15 years 1 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
108
click to vote
ALGORITHMICA
2004
15 years 1 months ago
2004
We consider the problem of scheduling dynamically arriving jobs in a non-clairvoyant setting, that is, when the size of a job in remains unknown until the job finishes execution. ...
164
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: The identification of relevant biological features in large and complex datasets is an important step towards gaining insight in the processes underlying the data. Oth...