2137 search results - page 177 / 428 » Proving Abstract Non-interference |
123
Voted
CONIELECOMP
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— This paper presents a new control family of fixedcamera visual servoing for planar robot manipulators. The methodology is based-on energy shaping methodology in order ...
123
click to vote
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— We prove that the number of Pareto-optimal solutions in any multiobjective binary optimization problem with a finite number of linear objective functions is polynomial...
132
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— We consider the Gaussian multiple-input multipleoutput (MIMO) multi-receiver wiretap channel, and derive the secrecy capacity region of this channel for the most genera...
120
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Linear precoding for multiuser multiple input multiple output (MIMO) cellular systems has generally focused on a single isolated cell. A crucial tool in algorithm develo...
122
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...