Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
We propose a directional fuzzy lter to enhance the quality of compressed video sequences. A motion compensated spatiotemporal lter (MCSTF) is applied to intra-frame and inter-fram...
This paper proposes a real-time method for the reduction of white Gaussian video noise. The method achieves a maximum gain of 4.8 dB and is capable of preserving image content. It...
This paper presents a new algorithm and technique for rendering triangular surfaces in pen-and-ink edge-based strokes. Our technique integrates two very important illustration str...
Mario Costa Sousa, Faramarz F. Samavati, Meru Brun...
Block-based random image sampling is coupled with a projectiondriven compressed-sensing recovery that encourages sparsity in the domain of directional transforms simultaneously wi...