3131 search results - page 560 / 627 » Phase-Based Local Features |
139
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
125
click to vote
MICRO
2008
IEEE
15 years 9 months ago
2008
IEEE
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...
125
click to vote
SECON
2008
IEEE
15 years 9 months ago
2008
IEEE
Stationary wireless sensor networks (WSNs) fail to scale when the area to be monitored is open (i.e borderless) and the physical phenomena to be monitored may migrate through a la...
118
Voted
CISS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract. Spectrally phase-coded optical code division multiple access (OCDMA), demodulated with phase and polarization diversity devices, exhibits high spectral efficiency and low...
100
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— For the single-group multicast scenario, where K users are served with the same data by a base station equipped with N antennas, we present two beamforming algorithms which out...