Sciweavers

601 search results - page 43 / 121
» Quantified Equality Constraints
Sort
View
79
Voted
CORR
2006
Springer
115views Education» more  CORR 2006»
15 years 23 days 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
80
Voted
CADE
2006
Springer
16 years 1 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»
15 years 5 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
87
Voted
IEAAIE
2001
Springer
15 years 5 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
112
Voted
SIAMJO
2000
88views more  SIAMJO 2000»
15 years 15 days 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...