8828 search results - page 1467 / 1766 » Formal methods in practice |
156
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we cast discriminative training problems into standard linear programming (LP) optimization. Besides being convex and having globally optimal solution(s), LP progra...
209
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Recently, network localization systems that are based on inter-node ranges have received significant attention. Geographic routing has been considered an application which can u...
187
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—To improve the performance of spectrum sensing, cooperation among Cognitive Radios (CRs) has been proposed recently as an effective solution. Most existing works require either ...
190
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we consider minimum bit error rate (BER) beamforming (BF) for multiple–input multiple–output orthogonal frequency division multiplexing (MIMO–OFDM) systems...
191
click to vote
ICDCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Many event-driven localization methods have been proposed as low cost, energy efficient solutions for wireless senor networks. In order to eliminate the requirement of accurately...