Sciweavers

3007 search results - page 2 / 602
» Linear Functional Fixed-points
Sort
View
ICASSP
2011
IEEE
12 years 9 months ago
Fixed point iteration for max-min sir balancing with general interference functions
This paper studies the convergence of a fixed point iteration algorithm for the problem of max-min signal-to-interference ratio (SIR) balancing. Differently from the existing wor...
Nikola Vucic, Martin Schubert
ORL
2008
71views more  ORL 2008»
13 years 5 months ago
A fixed point theorem for discontinuous functions
P. Jean-Jacques Herings, Gerard van der Laan, Dolf...
ITP
2010
156views Mathematics» more  ITP 2010»
13 years 9 months ago
The Optimal Fixed Point Combinator
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
Arthur Charguéraud
DLT
2008
13 years 7 months ago
Derivation Tree Analysis for Accelerated Fixed-Point Computation
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
Javier Esparza, Stefan Kiefer, Michael Luttenberge...