The image sensor measurements are subject to degradation caused by the photon and electron leakage. The color image data acquired via a spatial subsampling procedure implemented a...
Due to the sequential-readout structure of complementary-metal-oxide semiconductor image sensor array, each scanline of the acquired image is exposed at a different time, resulting...
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...
We describe a hidden Markov modeling approach to multiple change-points that has attractive computational and statistical properties. This approach yields explicit recursive filter...