Sciweavers

601 search results - page 6 / 121
» Quantified Equality Constraints
Sort
View
CORR
2006
Springer
84views Education» more  CORR 2006»
13 years 7 months ago
On the freeze quantifier in Constraint LTL: decidability and complexity
Stéphane Demri, Ranko Lazic, David Nowak
CP
2008
Springer
13 years 9 months ago
A Soft Constraint of Equality: Complexity and Approximability
We introduce the SoftAllEqual global constraint, which maximizes the number of equalities holding between pairs of assignments to a set of variables. We study the computational com...
Emmanuel Hebrard, Barry O'Sullivan, Igor Razgon
AUTOMATICA
2007
97views more  AUTOMATICA 2007»
13 years 7 months ago
State estimation for linear systems with state equality constraints
This paper deals with state estimation problem for linear systems with state equality constraints. Using noisy measurements which are available from the observable system, we cons...
Sangho Ko, Robert R. Bitmead
CEC
2005
IEEE
14 years 1 months ago
Linear equality constraints and homomorphous mappings in PSO
We present a homomorphous mapping that converts problems with linear equality constraints into fully unconstrained and lower-dimensional problems for optimization with PSO. This ap...
Christopher K. Monson, Kevin D. Seppi