642 search results - page 72 / 129 » corr 2006 |
CORR
2006
Springer
15 years 18 days ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
CORR
2006
Springer
15 years 18 days ago
2006
Springer
We show that the neighbor-joining algorithm is a robust quartet method for constructing trees from distances. This leads to a new performance guarantee that contains Atteson's...
96
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
Gossip algorithms for aggregation have recently received significant attention for sensor network applications because of their simplicity and robustness in noisy and uncertain en...
88
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...
71
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
In this paper, random coding error exponents and cutoff rate are studied for noncoherent Rician fading channels, where neither the receiver nor the transmitter has channel side inf...