A semantic view of classical proofs: Type-theoretic, categorical, and denotational characterizations

CHL Ong - Proceedings 11th Annual IEEE Symposium on Logic …, 1996 - ieeexplore.ieee.org
Classical logic is one of the best examples of a mathematical theory that is truly useful to
computer science. Hardware and software engineers apply the theory routinely. Yet from a …

A new denoising method for fMRI based on weighted three-dimensional wavelet transform

G Özmen, S Özşen - Neural Computing and Applications, 2018 - Springer
This study presents a new three-dimensional discrete wavelet transform (3D-DWT)-based
denoising method for functional magnetic resonance images (fMRI). This method is called …

Medical image processing based on multidimensional wavelet transforms-Advantages and trends

V Georgieva, P Petrov, D Zlatareva - AIP conference proceedings, 2021 - pubs.aip.org
The quality of medical images is very important in clinical use, such as clinical diagnosis,
pathology analysis, etc. This paper presents a brief survey of the advantages and trends of …

[PDF][PDF] Medical color image enhancement using wavelet transform and contrast stretching technique

RD Pai, P Srinivashalvi… - International Journal of …, 2015 - Citeseer
Low contrast and poor quality images are the main problems in the medical field. Wavelet
transform based techniques are of greater interest because of their performance over …

Toward real-time seismic feature analysis for bright spot detection: A distributed approach

Y Rizk, H Partamian, M Awad - IEEE Journal of Selected Topics …, 2017 - ieeexplore.ieee.org
Bright spots have been the primary approach to identify hydrocarbon bearing formations.
Specifically, threedimensional (3-D) seismic texture analysis has been employed to identify …

[PDF][PDF] A state-of-the-art review on wavelet based image resolution enhancement techniques: performance evaluation criteria and issues

S Azam, FT Zohra, MM Islam - International Journal of Image …, 2014 - mecs-press.org
Image resolution enhancement in wavelet domain has been one of the most active research
areas in image processing. Many methods and techniques, based on wavelet transformation …

An optimal factor analysis approach to improve the wavelet-based image resolution enhancement techniques

W Witwit, Y Zhao, KW Jenkins, Y Zhao - 2016 - dspace.lib.cranfield.ac.uk
The existing wavelet-based image resolution enhancement techniques have many
assumptions, such as limitation of the way to generate low-resolution images and the …

[PDF][PDF] Tri-modal technique for medical images enhancement

KA Amusa, OA Idowu, IA Adejumobi… - Int J Adv Appl Sci, 2022 - academia.edu
Owing to methods of acquisition, medical images often require enhancement for them to
serve the intended purpose of computer-aided diagnosis. Most medical image enhancement …

Performance assessment criteria and issues for wavelet-based image resolution enhancement technique: A short review

S Azam, MM Islam, FT Zohra - 2014 International Conference …, 2014 - ieeexplore.ieee.org
Image spatial resolution enhancement using the wavelet transform is a quite classic topic in
the field of image processing and there exist many algorithms, techniques and methods …

Wavelet-based image and video super-resolution reconstruction.

W Witwit - 2017 - dspace.lib.cranfield.ac.uk
Super-resolution reconstruction process offers the solution to overcome the high-cost and
inherent resolution limitations of current imaging systems. The wavelet transform is a …