Sciweavers

1776 search results - page 28 / 356
» Uncertain Linear Constraints
Sort
View
CAV
2003
Springer
108views Hardware» more  CAV 2003»
14 years 3 months ago
Linear Invariant Generation Using Non-linear Constraint Solving
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
Michael Colón, Sriram Sankaranarayanan, Hen...
ADBIS
2008
Springer
117views Database» more  ADBIS 2008»
14 years 17 hour ago
Reclassification of Linearly Classified Data Using Constraint Databases
In many problems the raw data is already classified according to a variety of features using some linear classification algorithm but needs to be reclassified. We introduce a novel...
Peter Z. Revesz, Thomas Triplet
CP
2005
Springer
14 years 3 months ago
From Linear Relaxations to Global Constraint Propagation
We present a method for propagating linear constraints. Our technique exploits the fact that the interior point method converges on a central point of the polytope. A variable assi...
Claude-Guy Quimper, Alejandro López-Ortiz
CEC
2005
IEEE
14 years 3 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
AUTOMATICA
2007
97views more  AUTOMATICA 2007»
13 years 9 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