Sciweavers

1938 search results - page 191 / 388
» On Positive Relational Calculi
Sort
View
ENTCS
2007
136views more  ENTCS 2007»
13 years 9 months ago
Adaptation for Hierarchical Components and Services
Software coordination and adaptation is intimately related to software (modular) pieces and access points. These pieces (components or services) may be complex, dissimilar (various...
Pascal André, Gilles Ardourel, Christian At...
MP
2006
137views more  MP 2006»
13 years 9 months ago
New algorithms for singly linearly constrained quadratic programs subject to lower and upper bounds
There are many applications related to singly linearly constrained quadratic programs subjected to upper and lower bounds. In this paper, a new algorithm based on secant approximat...
Yu-Hong Dai, Roger Fletcher
MP
2006
80views more  MP 2006»
13 years 9 months ago
Minimizing Polynomials via Sum of Squares over the Gradient Ideal
A method is proposed for finding the global minimum of a multivariate polynomial via sum of squares (SOS) relaxation over its gradient variety. That variety consists of all points ...
Jiawang Nie, James Demmel, Bernd Sturmfels
SIAMAM
2008
93views more  SIAMAM 2008»
13 years 9 months ago
Mutually Exclusive Spiky Pattern and Segmentation Modeled by the Five-Component Meinhardt--Gierer System
We consider the five-component Meinhardt-Gierer model for mutually exclusive patterns and segmentation which was proposed in [11]. We prove rigorous results on the existence and st...
Juncheng Wei, Matthias Winter
SIGECOM
2008
ACM
141views ECommerce» more  SIGECOM 2008»
13 years 9 months ago
On the communication requirements of verifying the VCG outcome
We consider the amount of communication required to verify the outcome of the Vickrey-Clarke-Groves (VCG) mechanism: an efficient allocation together with incentivizing VCG paymen...
Sébastien Lahaie, David C. Parkes