451 search results - page 86 / 91 » Simulated Annealing for Convex Optimization |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
CISS
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper addresses multiuser linear precoding using multiple cooperating base stations (BSs). All BSs, and potentially the users, are equipped with multiple antennas. Prior w...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we develop a beamforming algorithm for multiuser MIMO-relaying wireless systems. We consider a relaying scenario with multiple sources transmitting to one or more d...
3DPVT
2006
IEEE
14 years 3 months ago
2006
IEEE
Vanishing points are valuable in many vision tasks such as orientation estimation, pose recovery and 3D reconstruction from a single image. Many methods have been proposed to addr...
ASPDAC
2005
ACM
14 years 3 months ago
2005
ACM
－In high performance systems, process variations and fluctuations of operating environments have significant impact on the clock skew. Recently, hybrid structures of H-tree and m...