2266 search results - page 409 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
DAC
2002
ACM
16 years 2 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
106
click to vote
ISBI
2004
IEEE
16 years 2 months ago
2004
IEEE
Nonrigid medical image registration has many potentially applications for diagnosis and monitoring disease progression in the clinic, and is very hot in computational anatomy. How...
106
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
Web hosting providers are increasingly looking into dynamic hosting to reduce costs and improve the performance of their platforms. Instead of provisioning fixed resources to each...
241
click to vote
CP
2009
Springer
16 years 2 months ago
2009
Springer
Decision tree induction techniques attempt to find small trees that fit a training set of data. This preference for smaller trees, which provides a learning bias, is often justifie...
119
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
: In this paper, we present a point-to-point (P2P) communication synthesis methodology for SystemOn-Chip (SOC) design. We consider real-time systems where IP selection, mapping and...