Sciweavers

2536 search results - page 134 / 508
» Constructing Optimal Highways
Sort
View
ECCV
2008
Springer
16 years 6 months ago
Solving Image Registration Problems Using Interior Point Methods
Abstract. This paper describes a novel approach to recovering a parametric deformation that optimally registers one image to another. The method proceeds by constructing a global c...
Camillo J. Taylor, Arvind Bhusnurmath
GLOBECOM
2006
IEEE
15 years 10 months ago
Leveraging Downlink for Regulation of Distributed Uplink CDMA
Abstract— In this paper, we formulate an optimal rate allocation scheme for uplink and downlink in a single-cell CDMA system. Using concepts from game theory, we show that it is ...
Jennifer Price, Tara Javidi
115
Voted
LICS
2006
IEEE
15 years 10 months ago
Avoiding Determinization
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
Orna Kupferman
ICARIS
2005
Springer
15 years 9 months ago
A Markov Chain Model of the B-Cell Algorithm
An exact Markov chain model of the B-cell algorithm (BCA) is constructed via a novel possible transit method. The model is used to formulate a proof that the BCA is convergent abso...
Edward Clark, Andrew Hone, Jon Timmis
IEEEPACT
2002
IEEE
15 years 9 months ago
Speculative Alias Analysis for Executable Code
Optimizations performed at link time or directly applied to final program executables have received increased attention in recent years. Such low-level optimizations can benefit...
Manel Fernández, Roger Espasa