Sciweavers

3007 search results - page 9 / 602
» Linear Functional Fixed-points
Sort
View
CATS
2006
13 years 8 months ago
Boolean equation solving as graph traversal
We present a new method for finding closed forms of recursive Boolean function definitions. Traditionally, these closed forms are found by iteratively approximating until a fixed ...
Brian Herlihy, Peter Schachte, Harald Sønde...
TIP
2010
111views more  TIP 2010»
13 years 2 months ago
Demosaicking by Alternating Projections: Theory and Fast One-Step Implementation
Color image demosaicking is a key process in the digital imaging pipeline. In this paper, we study a classical demosaicking algorithm based on alternating projections (AP), propos...
Yue M. Lu, Mina Karzand, Martin Vetterli
FOCS
2004
IEEE
13 years 11 months ago
Tolls for Heterogeneous Selfish Users in Multicommodity Networks and Generalized Congestion Games
We prove the existence of tolls to induce multicommodity, heterogeneous network users that independently choose routes minimizing their own linear function of tolls versus latency...
Lisa Fleischer, Kamal Jain, Mohammad Mahdian
APPML
2005
82views more  APPML 2005»
13 years 7 months ago
Existence of positive periodic solutions to nonlinear second order differential equations
In this paper, we discuss the existence of positive periodic solutions to the nonlinear differential equation u (t) + a(t)u(t) = f (t, u(t)), t R, where a : R [0, +) is an -peri...
Fuyi Li, Zhanping Liang
ISMVL
2008
IEEE
148views Hardware» more  ISMVL 2008»
14 years 1 months ago
Quantum Logic Implementation of Unary Arithmetic Operations
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...
Mitchell A. Thornton, David W. Matula, Laura Spenn...