2152 search results - page 142 / 431 » A Comparative Study of 2QBF Algorithms |
155
click to vote
TWC
2010
14 years 11 months ago
2010
In this paper we focus on resource allocation for next generation wireless communication systems with aggregation of multiple Component Carriers (CCs), i.e., how to assign the CCs ...
159
click to vote
ISQED
2011
IEEE
14 years 7 months ago
2011
IEEE
—Design optimization methodologies for AMS-SoCs with analog, digital, and mixed-signal portions have not received significant attention, due to their high complexity. In mixed-s...
188
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Inference of population stratification and individual admixture from genetic markers is an integrative part of a study in diverse situations, such as association mappi...
144
click to vote
KI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Due to its prominence in artificial intelligence and theoretical computer science, the propositional satisfiability problem (SAT) has received considerable attention in...
145
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Dynamic Backtracking (DBT) is a well known algorithm for solving Constraint Satisfaction Problems. In DBT, variables are allowed to keep their assignment during backjump, if they a...