3820 search results - page 662 / 764 » Bounded Model Debugging |
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Secure data compression in the presence of side information at both a legitimate receiver and an eavesdropper is explored. A noise-free, limited rate link between the source and th...
113
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Packet-switching WDM ring networks with a hotspot transporting unicast, multicast, and broadcast trac are important components of high-speed metropolitan area networks. For an arbi...
107
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The success of probabilistic model checking for discrete-time Markov decision processes and continuous-time Markov chains has led to rich academic and industrial applications. The ...
CORR
2008
Springer
15 years 2 months ago
2008
Springer
This paper considers an additive noise channel where the time-k noise variance is a weighted sum of the squared magnitudes of the previous channel inputs plus a constant. This chan...
115
click to vote
CVIU
2008
15 years 2 months ago
2008
This paper presents a scalable solution to the problem of tracking objects across spatially separated, uncalibrated cameras with non overlapping fields of view. The approach relie...