7393 search results - page 1145 / 1479 » Synthesis-for-testability using transformations |
143
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Mountain river torrents and snow avalanches generate human and material damages with dramatic consequences. Knowledge about natural phenomenona is often lacking and exper...
144
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a hierarchical Bayesian model to reconstruct sparse images when the observations are obtained from linear transformations and corrupted by an additive white Gau...
147
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Sosemanuk is a new synchronous software-oriented stream cipher, corresponding to Profile 1 of the ECRYPT call for stream cipher primitives. Its key length is variable between 128 ...
127
click to vote
CVIU
2010
15 years 4 months ago
2010
We consider the self-calibration problem for the generic imaging model that assigns projection rays to pixels without a parametric mapping. In this paper, we consider the central ...
138
click to vote
CVIU
2008
15 years 4 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...