Sciweavers

577 search results - page 49 / 116
» Computing Rational Bisectors
Sort
View
CIE
2006
Springer
13 years 11 months ago
Inverting Monotone Continuous Functions in Constructive Analysis
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
Helmut Schwichtenberg
ATAL
2005
Springer
14 years 1 months ago
Predicting agent strategy mix of evolving populations
We study agent societies where self-interested agents interact repeatedly over extended time periods. In particular, we are interested in environments where agents can form mutual...
Sabyasachi Saha, Sandip Sen
CC
2004
Springer
115views System Software» more  CC 2004»
14 years 1 months ago
Periodic Polyhedra
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
Benoît Meister
AUTOMATICA
2008
167views more  AUTOMATICA 2008»
13 years 8 months ago
Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E....

Publication
580views
15 years 7 months ago
Redistribution of VCG Payments in Assignment of Heterogeneous Objects
In this paper, we seek to design a Groves mechanism for assigning p heterogeneous objects among n competing agents (n > p) with unit demand, satisfying weak budget balance, in...
Sujit Gujar, Yadati Narahari