Sciweavers

549 search results - page 52 / 110
» Integer-Forcing Linear Receivers
Sort
View
ICIP
2007
IEEE
14 years 10 months ago
Projection onto a Shape Manifold for Image Segmentation with Prior
Image segmentation with shape priors has received a lot of attention over the past years. Most existing work focuses on a linearized shape space with small deformation modes aroun...
Florent Ségonne, Patrick Etyngier, Renaud K...
GLOBECOM
2007
IEEE
14 years 3 months ago
Distributed Maximum Lifetime Routing in Wireless Sensor Networks Based on Regularization
— The maximum lifetime routing problem in wireless sensor networks has received increasing attention in recent years. One way is to formulate it as a linear programming problem b...
Vahid Shah-Mansouri, Vincent W. S. Wong
INFOCOM
2007
IEEE
14 years 3 months ago
Broadcast Flooding Revisited: Survivability and Latency
—This paper addresses the dynamics of broadcast flooding in random wireless ad hoc networks. In particular, we study the subset of nodes covered by a flood as well as timing is...
Petteri Mannersalo, Alireza Keshavarz-Haddad, Rudo...
VTC
2007
IEEE
14 years 3 months ago
MIMO Downlink Weighted Sum Rate Maximization with Power Constraints per Antenna Groups
Abstract— We consider a single-cell multiple-input multipleoutput (MIMO) downlink channel where linear transmission and reception strategy is employed. The base station (BS) tran...
Marian Codreanu, Antti Tölli, Markku J. Juntt...
CAV
2007
Springer
116views Hardware» more  CAV 2007»
14 years 3 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill