3384 search results - page 223 / 677 » More Testable Properties |
107
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The optimal transmit strategies of single-user multiantenna systems with respect to average capacity maximization are well understood. However, the performance measure d...
125
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
123
click to vote
QEST
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper we consider Quasi-Birth-and-Death (QBD) processes where the upward (resp. downward) transitions are restricted to occur only from (resp. to) a subset of the phase ...
127
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— Planar Catadioptric Stereo vision sensors (PCS) combine a pinhole camera with two or more planar mirrors. PCS have recently received an increasing attention since a stereo view...
111
Voted
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
— In a wide range of applications the orientation of a rigid body does not need to be restricted to one given orientation, but can be given as a continuous set of frames. We addr...