2266 search results - page 355 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
146
click to vote
ASPDAC
2011
ACM
14 years 7 months ago
2011
ACM
– This paper concerns throughput-constrained parallel execution of synchronous data flow graphs. This paper assumes static mapping and dynamic scheduling of nodes, which has seve...
148
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
In the paper, the global optimization problem of a multidimensional “black-box” function satisfying the Lipschitz condition over a hyperinterval with an unknown Lipschitz const...
124
click to vote
TSP
2010
14 years 10 months ago
2010
Abstract--Waveform design is essential to unleash the performance advantages promised by multiple-input multiple-output (MIMO) radar, and this topic has attracted a lot of attentio...
143
click to vote
DBPL
2005
Springer
2005
Springer
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints
15 years 9 months ago
Consistent query answering is the problem of computing the answers from a database that are consistent with respect to certain integrity constraints that the database as a whole ma...
134
click to vote
AI
2003
Springer
15 years 9 months ago
2003
Springer
Sets of DNA strands that satisfy combinatorial constraints play an important role in various approaches to biomolecular computation, nanostructure design, and molecular tagging. Th...