We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
Microwave radiation is well known as a diagnostic imaging method for many medical applications, for example, early stage breast cancer detection. Microwave detection of breast tum...
Compression with Reversible Embedded Wavelets (CREW) is a uni ed lossless and lossy continuous-tone still image compression system. It is wavelet-based using a \reversible" a...
A. Zandi, James D. Allen, Edward L. Schwartz, Mart...
Abstract--A new grid conversion method is proposed to resample between two 2-D periodic lattices with the same sampling density. The main feature of our approach is the symmetric r...
Laurent Condat, Dimitri Van De Ville, Brigitte For...
We are investigating methods to reduce partial volume effect (PVE) in medical images acquired as a series of thick slices, in particular Magnetic Resonance Imaging (MRI) of the hu...