3320 search results - page 462 / 664 » Heuristics for the Phylogeny Problem |
237
click to vote
PATMOS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
170
click to vote
HICSS
2006
IEEE
16 years 21 days ago
2006
IEEE
The classical (ad hoc) document retrieval problem has been traditionally approached through ranking according to heuristically developed functions (such as tf.idf or bm25) or gene...
175
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
177
click to vote
P2P
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we take an availability-centric view on quality of service (QoS) and propose a model and mechanisms for studying the effectiveness of realistic replication schemes ...
222
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Multiple sequence alignment is a central problem in Bioinformatics. A known integer programming approach is to apply branch-and-cut to exponentially large graph-theoretic models. T...