495 search results - page 20 / 99 » The Subword Reversing Method |
DAC
1996
ACM
14 years 23 days ago
1996
ACM
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 ...
ICIP
2007
IEEE
14 years 10 months ago
2007
IEEE
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...
DCC
1995
IEEE
14 years 5 days ago
1995
IEEE
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...
TIP
2008
13 years 8 months ago
2008
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...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
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...