2266 search results - page 435 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
166
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
113
click to vote
SIAMJO
2002
15 years 1 months ago
2002
We study a class of generalized bundle methods for which the stabilizing term can be any closed convex function satisfying certain properties. This setting covers several algorithm...
153
click to vote
PODS
2012
ACM
13 years 3 months ago
2012
ACM
Data is increasingly being bought and sold online, and Webbased marketplace services have emerged to facilitate these activities. However, current mechanisms for pricing data are ...
130
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
Document summarization plays an increasingly important role with the exponential growth of documents on the Web. Many supervised and unsupervised approaches have been proposed to ...
118
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
In order to handle device matching in analog circuits, some pairs of modules are required to be placed symmetrically. This paper addresses this device-level placement problem for ...