Sciweavers

741 search results - page 75 / 149
» Robust Constraint Solving Using Multiple Heuristics
Sort
View
124
Voted
ECAI
2004
Springer
15 years 8 months ago
Guiding a Theorem Prover with Soft Constraints
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
John K. Slaney, Arnold Binas, David Price
155
Voted
ICANNGA
2007
Springer
191views Algorithms» more  ICANNGA 2007»
15 years 8 months ago
Novel Multi-layer Non-negative Tensor Factorization with Sparsity Constraints
In this paper we present a new method of 3D non-negative tensor factorization (NTF) that is robust in the presence of noise and has many potential applications, including multi-way...
Andrzej Cichocki, Rafal Zdunek, Seungjin Choi, Rob...
117
Voted
GECCO
2005
Springer
138views Optimization» more  GECCO 2005»
15 years 8 months ago
Promising infeasibility and multiple offspring incorporated to differential evolution for constrained optimization
In this paper, we incorporate a diversity mechanism to the differential evolution algorithm to solve constrained optimization problems without using a penalty function. The aim is...
Efrén Mezura-Montes, Jesús Vel&aacut...
133
Voted
EJWCN
2010
157views more  EJWCN 2010»
14 years 9 months ago
Distributed Power Allocation for Parallel Broadcast Channels with Only Common Information in Cognitive Tactical Radio Networks
A tactical radio network is a radio network in which a transmitter broadcasts the same information to its receivers. In this paper, dynamic spectrum management is studied for multi...
Vincent Le Nir, Bart Scheers
143
Voted
CP
2010
Springer
15 years 1 months ago
A Box-Consistency Contractor Based on Extremal Functions
Abstract. Interval-based methods can approximate all the real solutions of a system of equations and inequalities. The Box interval constraint propagation algorithm enforces Box co...
Gilles Trombettoni, Yves Papegay, Gilles Chabert, ...