13383 search results - page 2271 / 2677 » Abstractions from proofs |
148
click to vote
GAMESEC
2010
15 years 2 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
151
Voted
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We consider the problem of dynamic content distribution in publish-subscribe mobile social networks. Mobile users subscribe to the content provider. Then, when new conten...
171
Voted
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The paper studies the problem of distributed transmit beamforming with autonomous and self-organizing mobile antennas. The objective is to design a distributed algorithm ...
156
Voted
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--In multinode cooperative communications, simultaneous transmissions from two or more nodes are challenging due to its asynchronous nature. In addition, channel estimation...
154
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--All-optical multicast routing (AOMR) is implemented by the concept of light-tree in WDM networks. The costoptimal multicast light-tree is NP-hard to compute, especially w...