Sciweavers

1421 search results - page 136 / 285
» Satisfying KBO Constraints
Sort
View
ICTAI
1996
IEEE
15 years 11 months ago
Forward-Tracking: A Technique for Searching Beyond Failure
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
Elena Marchiori, Massimo Marchiori, Joost N. Kok
170
Voted
CEC
2007
IEEE
15 years 11 months ago
A memetic algorithm for dynamic design of wireless sensor Networks
We present a memetic algorithm that dynamically optimizes the design of a wireless sensor network towards energy conservation and extension of the life span of the network, taking ...
Konstantinos P. Ferentinos, Theodore A. Tsiligirid...
CP
2008
Springer
15 years 8 months ago
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview
Backbone variables have the same assignment in all solutions to a given constraint satisfaction problem; more generally, bias represents the proportion of solutions that assign a v...
Eric I. Hsu, Christian J. Muise, J. Christopher Be...
APPROX
2010
Springer
147views Algorithms» more  APPROX 2010»
15 years 8 months ago
Approximate Lasserre Integrality Gap for Unique Games
In this paper, we investigate whether a constant round Lasserre Semi-definite Programming (SDP) relaxation might give a good approximation to the UNIQUE GAMES problem. We show tha...
Subhash Khot, Preyas Popat, Rishi Saket
162
Voted
SPLC
2008
15 years 8 months ago
Enabling Verifiable Conformance for Product Lines
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
Robyn R. Lutz