17329 search results - page 3258 / 3466 » Improved non-approximability results |
172
click to vote
GLOBECOM
2007
IEEE
16 years 23 days ago
2007
IEEE
—Path diversity works by setting up multiple parallel connections between the end points using the topological path redundancy of the network. In this paper, Forward Error Correc...
198
click to vote
MUE
2007
IEEE
16 years 22 days ago
2007
IEEE
Securing multimedia transmission has become a challenging issue due to the popularization of real-time multimedia applications such as video surveillance, satellite communication ...
217
click to vote
AB
2007
Springer
16 years 22 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
189
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
To cope with large scale, agents are usually organized in a network such that an agent interacts only with its immediate neighbors in the network. Reinforcement learning technique...
165
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...