4124 search results - page 111 / 825 » Improved Algorithms for Data Migration |
145
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there...
149
click to vote
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
132
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract--Virtualization technology facilitates a dynamic, demanddriven allocation and migration of servers. This paper studies how the flexibility offered by network virtualizatio...
120
click to vote
CVPR
2000
IEEE
16 years 5 months ago
2000
IEEE
Many visual matching algorithms can be described in terms of the features and the inter-feature distance or metric. The most commonly used metric is the sum of squared di erences ...
204
click to vote
ECAIW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Procedural knowledge in medicine uses to come expressed as isolated sentences in Clinical Practice Guidelines (CPG) that describe how to act in front of specific health-c...