3190 search results - page 566 / 638 » cans 2011 |
156
Voted
CORR
2011
Springer
15 years 18 days ago
2011
Springer
Abstract The class of ω-regular languages provide a robust specification language in verification. Every ω-regular condition can be decomposed into a safety part and a liveness...
186
Voted
CORR
2011
Springer
15 years 18 days ago
2011
Springer
A novel framework of compressed sensing, namely statistical compressed sensing (SCS), that aims at efficiently sampling a collection of signals that follow a statistical distribu...
165
click to vote
CORR
2011
Springer
15 years 18 days ago
2011
Springer
In this paper, we develop new methods for the analysis of decentralized control systems and we apply them to formation control problems. The basic set-up consists of a system with...
165
Voted
CORR
2011
Springer
15 years 18 days ago
2011
Springer
Cooperative communications is a class of techniques which seek to improve reliability and throughput in wireless systems by pooling the resources of distributed nodes. While coope...
153
click to vote
CORR
2011
Springer
15 years 18 days ago
2011
Springer
Abstract—Breadth First Search (BFS) is a widely used approach for sampling large unknown Internet topologies. Its main advantage over random walks and other exploration technique...