8828 search results - page 1471 / 1766 » Formal methods in practice |
143
click to vote
HPCS
2007
IEEE
16 years 1 months ago
2007
IEEE
The nonlinear simulation of interfacial instabilities in miscible displacements in porous media often requires sophisticated numerical algorithms as well as very fine spatial and ...
174
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Opportunistic scheduling in random beamforming maximizes the sum-rate by allocating resources to the users with the best channel condition, thus leveraging on multiuser diversit...
195
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In interference-limited wireless cellular systems, interference avoidance and interference averaging are widely adopted to combat co-channel interference. In different types of...
164
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper addresses a scheduling problem for wireless network coding which has been recently proposed as a novel method to enhance the throughput in wireless networks. The wir...
184
click to vote
ICCV
2007
IEEE
16 years 1 months ago
2007
IEEE
The image of a curved, specular (mirror-like) surface is a distorted reflection of the environment. The goal of our work is to develop a framework for recovering general shape fr...