2266 search results - page 385 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
DAC
2007
ACM
16 years 2 months ago
2007
ACM
With increasing time-to-market pressure and shortening semiconductor product cycles, more and more chips are being designed with library-based methodologies. In spite of this shif...
113
click to vote
AB
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Haplotype inference from genotype data is a key computational problem in bioinformatics, since retrieving directly haplotype information from DNA samples is not feasible ...
181
click to vote
PODS
2009
ACM
16 years 2 months ago
2009
ACM
A distributed XML document is an XML document that spans several machines or Web repositories. We assume that a distribution design of the document tree is given, providing an XML...
143
click to vote
SOCO
2010
Springer
14 years 8 months ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...
111
click to vote
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper proposes a technique for estimating piecewise planar models of objects from their images and geometric constraints. First, assuming a bounded noise in the localization ...