Sciweavers

663 search results - page 56 / 133
» Algorithms for Computing Minimal Unsatisfiable Subsets of Co...
Sort
View
VTC
2008
IEEE
178views Communications» more  VTC 2008»
14 years 2 months ago
Downlink Linear Max-MSE Transceiver Design for Multiuser MIMO Systems Via Dual Decomposition
—This paper addresses the problem of joint linear transceiver design in the downlink of multiuser MIMO systems. We define the performance criterion as minimizing the maximal mea...
Yuanzhang Xiao, Shidong Zhou
CORR
2008
Springer
89views Education» more  CORR 2008»
13 years 7 months ago
Disjunctive Databases for Representing Repairs
This paper addresses the problem of representing the set of repairs of a possibly inconsistent database by means of a disjunctive database. Specifically, the class of denial constr...
Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowsk...
CONSTRAINTS
2007
46views more  CONSTRAINTS 2007»
13 years 7 months ago
Local-search Extraction of MUSes
SAT is probably one of the most-studied constraint satisfaction problems. In this paper, a new hybrid technique based on local search is introduced in order to approximate and ext...
Éric Grégoire, Bertrand Mazure, C&ea...
QOSIP
2005
Springer
14 years 1 months ago
Topological Design of Survivable IP Networks Using Metaheuristic Approaches
Abstract. The topological design of distributed packet switched networks consists of finding a topology that minimizes the communication costs by taking into account a certain num...
Emílio C. G. Wille, Marco Mellia, Emilio Le...
ICALP
2005
Springer
14 years 1 months ago
Randomized Fast Design of Short DNA Words
We consider the problem of efficiently designing sets (codes) of equal-length DNA strings (words) that satisfy certain combinatorial constraints. This problem has numerous motivati...
Ming-Yang Kao, Manan Sanghi, Robert T. Schweller