3820 search results - page 662 / 764 » Bounded Model Debugging |
CORR
2008
Springer
13 years 10 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...
CORR
2008
Springer
13 years 10 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...
CORR
2010
Springer
13 years 10 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
13 years 10 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...
CVIU
2008
13 years 10 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...