Sciweavers

601 search results - page 43 / 121
» Quantified Equality Constraints
Sort
View
CORR
2006
Springer
115views Education» more  CORR 2006»
13 years 9 months ago
Entropy-optimal Generalized Token Bucket Regulator
Abstract-- We derive the maximum entropy of a flow (information utility) which conforms to traffic constraints imposed by a generalized token bucket regulator, by taking into accou...
Ashutosh Deepak Gore, Abhay Karandikar
CADE
2006
Springer
14 years 9 months ago
Connection Tableaux with Lazy Paramodulation
It is well-known that the connection refinement of clause tableaux with paramodulation is incomplete (even with weak connections). In this paper, we present a new connection tablea...
Andrey Paskevich
CCO
2001
Springer
157views Combinatorics» more  CCO 2001»
14 years 1 months ago
Lagrangian Relaxation
Lagrangian relaxation is commonly used in combinatorial optimization to generate lower bounds for a minimization problem. We propose a modified Lagrangian relaxation which used i...
Claude Lemaréchal
IEAAIE
2001
Springer
14 years 1 months ago
Why Use a Unified Knowledge Representation?
In a unified knowledge representation, data, information and knowledge are all represented in a single formalism. A unified knowledge representation based on “items” is describ...
John K. Debenham
SIAMJO
2000
88views more  SIAMJO 2000»
13 years 8 months ago
A Feasible BFGS Interior Point Algorithm for Solving Convex Minimization Problems
Abstract. We propose a BFGS primal-dual interior point method for minimizing a convex function on a convex set defined by equality and inequality constraints. The algorithm generat...
Paul Armand, Jean Charles Gilbert, Sophie Jan-J&ea...