Open Access. Powered by Scholars. Published by Universities.®

Electrical and Computer Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

Image processing

Discipline
Institution
Publication Year
Publication
Publication Type

Articles 31 - 60 of 180

Full-Text Articles in Electrical and Computer Engineering

A Novel Method Of Near-Miss Event Detection With Software Defined Radar In Improving Railyard Safety, Subharthi Banerjee, Jose Santos, Michael Hempel, Pejman Ghasemzadeh, Hamid Sharif Jan 2019

A Novel Method Of Near-Miss Event Detection With Software Defined Radar In Improving Railyard Safety, Subharthi Banerjee, Jose Santos, Michael Hempel, Pejman Ghasemzadeh, Hamid Sharif

Department of Electrical and Computer Engineering: Faculty Publications

Railyards are one of the most challenging and complex workplace environments in any industry. Railyard workers are constantly surrounded by dangerous moving objects, in a noisy environment where distractions can easily result in accidents or casualties. Throughout the years, yards have been contributing 20–30% of the total accidents that happen in railroads. Monitoring the railyard workspace to keep personnel safe from falls, slips, being struck by large object, etc. and preventing fatal accidents can be particularly challenging due to the sheer number of factors involved, such as the need to protect a large geographical space, the inherent dynamicity of the …


Accurate And Compact Stochastic Computations By Exploiting Correlation, Hamdan Abdellatef, Mohamed Khalil Hani, Nasir Shaikh-Husin Jan 2019

Accurate And Compact Stochastic Computations By Exploiting Correlation, Hamdan Abdellatef, Mohamed Khalil Hani, Nasir Shaikh-Husin

Turkish Journal of Electrical Engineering and Computer Sciences

Recent studies have shown, contrary to what was previously believed, that by exploiting correlation in stochastic computing (SC) designs, more accurate SC circuits with low area cost can be realized. However, if these basic SC circuits or blocks are cascaded in series to form a large complex system, correlation between stochastic numbers (SNs) from one block to the next would be lost; thus, inaccuracies are introduced. In this study, we propose correlating circuits to be used in building complex correlated SC systems. One of the circuits is the correlator that restores lost correlations between two SNs due to previous processing. …


A Multiseed-Based Svm Classification Technique For Training Sample Reduction, Imran Sharif, Debasis Chaudhuri Jan 2019

A Multiseed-Based Svm Classification Technique For Training Sample Reduction, Imran Sharif, Debasis Chaudhuri

Turkish Journal of Electrical Engineering and Computer Sciences

A support vector machine (SVM) is not a popular method for a very large dataset classification because the training and testing time for such data are computationally expensive. Many researchers try to reduce the training time of SVMs by applying sample reduction methods. Many methods reduced the training samples by using a clustering technique. To reduce its high computational complexity, several data reduction methods were proposed in previous studies. However, such methods are not effective to extract informative patterns. This paper demonstrates a new supervised classification method, multiseed-based SVM (MSB-SVM), which is particularly intended to deal with very large datasets …


Elimination Of Useless Images From Raw Camera-Trap Data, Ulaş Tekeli̇, Yalin Baştanlar Jan 2019

Elimination Of Useless Images From Raw Camera-Trap Data, Ulaş Tekeli̇, Yalin Baştanlar

Turkish Journal of Electrical Engineering and Computer Sciences

Camera-traps are motion triggered cameras that are used to observe animals in nature. The number of images collected from camera-traps has increased significantly with the widening use of camera-traps thanks to advances in digital technology. A great workload is required for wild-life researchers to group and label these images. We propose a system to decrease the amount of time spent by the researchers by eliminating useless images from raw camera-trap data. These images are too bright, too dark, blurred, or they contain no animals. To eliminate bright, dark, and blurred images we employ techniques based on image histograms and fast …


On Board Georeferencing Using Fpga-Based Optimized Second Order Polynomial Equation, Dequan Liu, Guoqing Zhou, Jingjin Huang, Rongting Zhang, Lei Shu, Xiang Zhou, Chun Sheng Xin Jan 2019

On Board Georeferencing Using Fpga-Based Optimized Second Order Polynomial Equation, Dequan Liu, Guoqing Zhou, Jingjin Huang, Rongting Zhang, Lei Shu, Xiang Zhou, Chun Sheng Xin

Electrical & Computer Engineering Faculty Publications

For real-time monitoring of natural disasters, such as fire, volcano, flood, landslide, and coastal inundation, highly-accurate georeferenced remotely sensed imagery is needed. Georeferenced imagery can be fused with geographic spatial data sets to provide geographic coordinates and positing for regions of interest. This paper proposes an on-board georeferencing method for remotely sensed imagery, which contains five modules: input data, coordinate transformation, bilinear interpolation, and output data. The experimental results demonstrate multiple benefits of the proposed method: (1) the computation speed using the proposed algorithm is 8 times faster than that using PC computer; (2) the resources of the field programmable …


Segmentation And Registration Based Automatic Cancer Proton Treatment Analysis, Yang Zhang Jan 2019

Segmentation And Registration Based Automatic Cancer Proton Treatment Analysis, Yang Zhang

Open Access Theses & Dissertations

Due to its low side effects, proton therapy is rapidly developing around the world. However, the time and labor it takes to deliver the treatment have prevented widespread use in the clinic setting. For this reason, an automatic proton treatment analysis system is needed to improve efficiency during the treatment process.

The challenge lies in improving the accuracy and speed of the current proton treatment analysis system. The Range shifter correction factor is considered the same value under any given condition in our treatment system. This approximate algorithm limits the accuracy of the proton treatment analysis system. In addition, medical …


Multi-Pig Part Detection And Association With A Fully-Convolutional Network, Eric T. Psota, Mateusz Mittek, Lance C. Pérez, Ty Schmidt, Benny Mote Jan 2019

Multi-Pig Part Detection And Association With A Fully-Convolutional Network, Eric T. Psota, Mateusz Mittek, Lance C. Pérez, Ty Schmidt, Benny Mote

Department of Electrical and Computer Engineering: Faculty Publications

Computer vision systems have the potential to provide automated, non-invasive monitoring of livestock animals, however, the lack of public datasets with well-defined targets and evaluation metrics presents a significant challenge for researchers. Consequently, existing solutions often focus on achieving task-specific objectives using relatively small, private datasets. This work introduces a new dataset and method for instance-level detection of multiple pigs in group-housed environments. The method uses a single fully-convolutional neural network to detect the location and orientation of each animal, where both body part locations and pairwise associations are represented in the image space. Accompanying this method is a new …


Vision-Based Framework For Monitoring Of Eating Behavior Of Persons With Alzheimer’S Disease, Haitham Al-Anssari Dec 2018

Vision-Based Framework For Monitoring Of Eating Behavior Of Persons With Alzheimer’S Disease, Haitham Al-Anssari

Dissertations

Dementia is a syndrome used to describe an array of significant declines in cognitive abilities due to progressive and irreversible loss of neurons and brain functioning. This neurodegeneration seriously affects daily life activities like driving, shopping, working and speaking. Among these, Alzheimer’s disease is the most common type of dementia, with individuals experiencing loss of memory and thinking and reasoning skills. Due to cognitive decline, individuals with Alzheimer’s often suffer from malnutrition, since they do not eat, even when food is presented, and must be fed with assistance. This assistance presents a significant burden of time to caregivers, and consequently …


Segmentation, Tracking, And Kinematics Of Lung Parenchyma And Lung Tumors From 4d Ct With Application To Radiation Treatment Planning., Jungwon Cha May 2018

Segmentation, Tracking, And Kinematics Of Lung Parenchyma And Lung Tumors From 4d Ct With Application To Radiation Treatment Planning., Jungwon Cha

Electronic Theses and Dissertations

This thesis is concerned with development of techniques for efficient computerized analysis of 4-D CT data. The goal is to have a highly automated approach to segmentation of the lung boundary and lung nodules inside the lung. The determination of exact lung tumor location over space and time by image segmentation is an essential step to track thoracic malignancies. Accurate image segmentation helps clinical experts examine the anatomy and structure and determine the disease progress. Since 4-D CT provides structural and anatomical information during tidal breathing, we use the same data to also measure mechanical properties related to deformation of …


Deep Learning Nuclei Detection In Digitized Histology Images By Superpixels, Sudhir Sornapudi, R. Joe Stanley, William V. Stoecker, Haidar Almubarak, Rodney Long, Sameer Antani, George Thoma, Rosemary Zuna, Shelliane R. Frazier Mar 2018

Deep Learning Nuclei Detection In Digitized Histology Images By Superpixels, Sudhir Sornapudi, R. Joe Stanley, William V. Stoecker, Haidar Almubarak, Rodney Long, Sameer Antani, George Thoma, Rosemary Zuna, Shelliane R. Frazier

Electrical and Computer Engineering Faculty Research & Creative Works

Background: Advances in image analysis and computational techniques have facilitated automatic detection of critical features in histopathology images. Detection of nuclei is critical for squamous epithelium cervical intraepithelial neoplasia (CIN) classification into normal, CIN1, CIN2, and CIN3 grades.

Methods: In this study, a deep learning (DL)-based nuclei segmentation approach is investigated based on gathering localized information through the generation of superpixels using a simple linear iterative clustering algorithm and training with a convolutional neural network.

Results: The proposed approach was evaluated on a dataset of 133 digitized histology images and achieved an overall nuclei detection (object-based) accuracy of 95.97%, with …


Cross Calibration And Validation Of Landsat 8 Oli And Sentinel 2a Msi, M. M. Farhad Jan 2018

Cross Calibration And Validation Of Landsat 8 Oli And Sentinel 2a Msi, M. M. Farhad

Electronic Theses and Dissertations

This work describes a proposed radiometric cross calibration between the Landsat 8 Operational Land Imager (OLI) and Sentinel 2A Multispectral Instrument (MSI) sensors. The cross calibration procedure involves i) correction of the MSI data to account for spectral band differences with the OLI; and ii) correction of BRDF effects in the data from both sensors using a new model accounting for the view zenith/azimuth angles in addition to the solar zenith/view angles. Following application of the spectral and BRDF corrections, standard least-squares linear regression is used to determine the cross calibration gain and offset in each band. Uncertainties related to …


Leveraging 3d Models For Sar-Based Navigation In Gps-Denied Environments, Zachary A. Reid Jan 2018

Leveraging 3d Models For Sar-Based Navigation In Gps-Denied Environments, Zachary A. Reid

Browse all Theses and Dissertations

This thesis considers the use of synthetic aperture radar (SAR) to provide absolute platform position information in scenarios where GPS signals may be degraded, jammed, or spoofed. Two algorithms are presented, and both leverage known 3D ground structure in an area of interest, e.g. provided by LIDAR data, to provide georeferenced position information to airborne SAR platforms. The first approach is based on the wide-aperture layover properties of elevated reflectors, while the second approach is based on correlating backprojected imagery with digital elevation imagery. Both of these approaches constitute the system we have designated: SARNAV. Building on 3D backprojection, localization …


Target Detection, Tracking, And Localization Using Multi-Spectral Image Fusion And Rf Doppler Differentials, Casey D. Demars Jan 2018

Target Detection, Tracking, And Localization Using Multi-Spectral Image Fusion And Rf Doppler Differentials, Casey D. Demars

Dissertations, Master's Theses and Master's Reports

It is critical for defense and security applications to have a high probability of detection and low false alarm rate while operating over a wide variety of conditions. Sensor fusion, which is the the process of combining data from two or more sensors, has been utilized to improve the performance of a system by exploiting the strengths of each sensor. This dissertation presents algorithms to fuse multi-sensor data that improves system performance by increasing detection rates, lowering false alarms, and improving track performance. Furthermore, this dissertation presents a framework for comparing algorithm error for image registration which is a critical …


Convolutional Neural Network Based Localized Classification Of Uterine Cervical Cancer Digital Histology Images, Haidar A. Almubarak, R. Joe Stanley, Rodney Long, Sameer Antani, George Thoma, Rosemary Zuna, Shelliane R. Frazier Oct 2017

Convolutional Neural Network Based Localized Classification Of Uterine Cervical Cancer Digital Histology Images, Haidar A. Almubarak, R. Joe Stanley, Rodney Long, Sameer Antani, George Thoma, Rosemary Zuna, Shelliane R. Frazier

Electrical and Computer Engineering Faculty Research & Creative Works

In previous research, we introduced an automated localized, fusion-based algorithm to classify squamous epithelium into Normal, CIN1, CIN2, and CIN3 grades of cervical intraepithelial neoplasia (CIN). The approach partitioned the epithelium into 10 segments. Image processing and machine vision algorithms were used to extract features from each segment. The features were then used to classify the segment and the result was fused to classify the whole epithelium. This research extends the previous research by dividing each of the 10 segments into 3 parts and uses a convolutional neural network to classify the 3 parts. The result is then fused to …


Image Processing With Dipole-Coupled Nanomagnets: Noise Suppression And Edge Enhancement Detection, Md Ahsanul Abeed, Ayan Kumar Biswas, Mamun Al-Rashid, Jayasimha Atulasimha, Supriyo Bandyopadhyay Jan 2017

Image Processing With Dipole-Coupled Nanomagnets: Noise Suppression And Edge Enhancement Detection, Md Ahsanul Abeed, Ayan Kumar Biswas, Mamun Al-Rashid, Jayasimha Atulasimha, Supriyo Bandyopadhyay

Electrical and Computer Engineering Publications

Hardware-based image processing offers speed and convenience not found in software-centric approaches. Here, we show theoretically that a 2-D periodic array of dipole-coupled elliptical nanomagnets, delineated on a piezoelectric substrate, can act as a dynamical system for specific image processing functions. Each nanomagnet has two stable magnetization states that encode pixel color (black or white). An image containing black and white pixels is first converted to voltage states and then mapped into the magnetization states of a nanomagnet array with magneto-tunneling junctions (MTJs). The same MTJs are employed to read out the processed pixel colors later. Dipole interaction between the …


Indoor Mapping Drone, Benjamin J. Plevny, Andrew Armstrong, Miguel Lopez, Davidson Okpara Jan 2017

Indoor Mapping Drone, Benjamin J. Plevny, Andrew Armstrong, Miguel Lopez, Davidson Okpara

Williams Honors College, Honors Research Projects

This project addresses the need for an autonomous indoor mapping system that will create a 3D map of an unknown physical environment in real time. The aerial system moves and avoids obstacles autonomously, without the need for human remote control or observation. An aerial system produces a map of an unknown indoor environment by transmitting data received from the aerial device’s sensors. The transmission occurs over a wireless channel from the aerial device to a remote server for processing and storage of the data. As the transmission is done in real time, the aerial system does not require hardware for …


An Emg-Based Patient Monitoring System Using Zynq Soc Device, Farhad Fallahlalehzari Dec 2016

An Emg-Based Patient Monitoring System Using Zynq Soc Device, Farhad Fallahlalehzari

UNLV Theses, Dissertations, Professional Papers, and Capstones

This thesis describes the design, development, and testing of an EMG-based patient monitoring system using the Zynq device. Zynq is a system on chip device designed by Xilinx which consists of an ARM dual cortex-A9 processor as well as an FPGA integrated into one chip. This work also analyzes the performance of image-processing algorithms on this system and compares that performance to more traditional PC-based systems. Image processing algorithms, such as Sobel edge detection, dilation and erosion, could be used in conjunction with a camera for the patient monitoring purposes. These algorithms often perform sub-optimally on processors because of their …


Error Resilient Video Coding Using Bitstream Syntax And Iterative Microscopy Image Segmentation, Neeraj Jayant Gadgil Aug 2016

Error Resilient Video Coding Using Bitstream Syntax And Iterative Microscopy Image Segmentation, Neeraj Jayant Gadgil

Open Access Dissertations

There has been a dramatic increase in the amount of video traffic over the Internet in past several years. For applications like real-time video streaming and video conferencing, retransmission of lost packets is often not permitted. Popular video coding standards such as H.26x and VPx make use of spatial-temporal correlations for compression, typically making compressed bitstreams vulnerable to errors. We propose several adaptive spatial-temporal error concealment approaches for subsampling-based multiple description video coding. These adaptive methods are based on motion and mode information extracted from the H.26x video bitstreams. We also present an error resilience method using data duplication in …


Image Quality Estimation: Soft-Ware For Objective Evaluation, He Liu Aug 2016

Image Quality Estimation: Soft-Ware For Objective Evaluation, He Liu

Open Access Theses

Digital images are widely used in our daily lives and the quality of images is important to the viewing experience. Low quality images may be blurry or contain noise or compression artifacts. Humans can easily estimate image quality, but it is not practical to use human subjects to measure image quality in real applications. Image Quality Estimators (QE) are algorithms that evaluate image qualities automatically. These QEs compute scores of any input images to represent their qualities. This thesis mainly focuses on evaluating the performance of QEs. Two approaches used in this work are objective software analysis and the subjective …


Visual Clutter Study For Pedestrian Using Large Scale Naturalistic Driving Data, Kai Yang Aug 2016

Visual Clutter Study For Pedestrian Using Large Scale Naturalistic Driving Data, Kai Yang

Open Access Dissertations

Some of the pedestrian crashes are due to driver’s late or difficult perception of pedestrian’s appearance. Recognition of pedestrians during driving is a complex cognitive activity. Visual clutter analysis can be used to study the factors that affect human visual search efficiency and help design advanced driver assistant system for better decision making and user experience. In this thesis, we propose the pedestrian perception evaluation model which can quantitatively analyze the pedestrian perception difficulty using naturalistic driving data. An efficient detection framework was developed to locate pedestrians within large scale naturalistic driving data. Visual clutter analysis was used to study …


Unequal A Priori Probability Multiple Hypothesis Testing In Space Domain Awareness With The Space Surveillance Telescope, Tyler J. Hardy, Stephen C. Cain, Travis F. Blake May 2016

Unequal A Priori Probability Multiple Hypothesis Testing In Space Domain Awareness With The Space Surveillance Telescope, Tyler J. Hardy, Stephen C. Cain, Travis F. Blake

Faculty Publications

This paper investigates the ability to improve Space Domain Awareness (SDA) by increasing the number of detectable Resident Space Objects (RSOs) from space surveillance sensors. With matched filter based techniques, the expected impulse response, or Point Spread Function (PSF), is compared against the received data. In the situation where the images are spatially undersampled, the modeled PSF may not match the received data if the RSO does not fall in the center of the pixel. This aliasing can be accounted for with a Multiple Hypothesis Test (MHT). Previously, proposed MHTs have implemented a test with an equal a priori prior …


Integrity Determination For Image Rendering Vision Navigation, Sean M. Calhoun Mar 2016

Integrity Determination For Image Rendering Vision Navigation, Sean M. Calhoun

Theses and Dissertations

This research addresses the lack of quantitative integrity approaches for vision navigation, relying on the use of image or image rendering techniques. The ability to provide quantifiable integrity is a critical aspect for utilization of vision systems as a viable means of precision navigation. This research describes the development of two unique approaches for determining uncertainty and integrity for a vision based, precision, relative navigation system, and is based on the concept of using a single camera vision system, such as an electro-optical (EO) or infrared imaging (IR) sensor, to monitor for unacceptably large and potentially unsafe relative navigation errors. …


Geosynchronous Binary Object Detection, Patrick B. Cunningham Mar 2016

Geosynchronous Binary Object Detection, Patrick B. Cunningham

Theses and Dissertations

This paper will compare competing methods for optically detecting binary objects. This is mostly intended for use in Space Situational Awareness (SSA), though has the potential to be used in other applications. The first method referred to as, “Single Object Detection” is a versatile algorithm which is currently used to detect extraterrestrial objects. However, it does not take into account interference by a nearby object. Therefore a second algorithm is investigated, referred to as “Binary Object Detection”, which does. The binary detection algorithm proved to have a comparable or superior Receiver Operating Characteristic (ROC) curve (based upon the area under …


Brain Tumor Detection Using Monomodal Intensity Based Medical Image Registration And Matlab, Emrah Irmak, Ergun Erçelebi̇, Ahmet Hani̇fi̇ Ertaş Jan 2016

Brain Tumor Detection Using Monomodal Intensity Based Medical Image Registration And Matlab, Emrah Irmak, Ergun Erçelebi̇, Ahmet Hani̇fi̇ Ertaş

Turkish Journal of Electrical Engineering and Computer Sciences

digital image processing. Using suitable computer programming techniques and transformation between two images, a new much more informative image can be found. In this paper, three important and basic medical image registration (MIR) methods, namely MIR by maximization of mutual information, MIR using cross correlation (Fourier transform approach), and MIR by minimization of similarity metric, were proposed and accordingly two comprehensive applications were performed using MIR by minimization of the similarity metric, which uses the sum of the squared differences metric as a metric and the regular step gradient descent optimizer as an optimizer. What is more, MR images of …


Hardware Implementation Of A Scale And Rotation Invariant Object Detection Algorithm On Fpga For Real-Time Applications, Murat Peker, Hali̇s Altun, Fuat Karakaya Jan 2016

Hardware Implementation Of A Scale And Rotation Invariant Object Detection Algorithm On Fpga For Real-Time Applications, Murat Peker, Hali̇s Altun, Fuat Karakaya

Turkish Journal of Electrical Engineering and Computer Sciences

A hardware implementation of a computationally light, scale, and rotation invariant method for shape detection on FPGA is devised. The method is based on histogram of oriented gradients (HOG) and average magnitude difference function (AMDF). AMDF is used as a decision module that measures the similarity/dissimilarity between HOG vectors of an image in order to classify the object. In addition, a simulation environment implemented on MATLAB is developed in order to overcome the time-consuming and tedious process of hardware verification on the FPGA platform. The simulation environment provides specific tools to quickly implement the proposed methods. It is shown that …


Some Properties Of Digital H-Spaces, Özgür Ege, İsmet Karaca Jan 2016

Some Properties Of Digital H-Spaces, Özgür Ege, İsmet Karaca

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, we study certain properties of digital H-spaces. We prove that a digital image that has the same digital homotopy type with any digital H-space is also a digital H-space. We show that the digital fundamental group of a digital H-space is abelian. We give examples that are related to a digital homotopy associative H-space and a $\kappa $-contractible digital H-space. Several important applications of digital H-spaces are given in computer vision and image processing. Finally, we deal with the importance of digital H-space in digital topology and image processing. We conclude that any $\kappa $-contractible digital image …


Image Processing And Visualization Of Terahertz Pulsed Imaging Of Breast Cancer Tumors, Yuhao Wu Dec 2015

Image Processing And Visualization Of Terahertz Pulsed Imaging Of Breast Cancer Tumors, Yuhao Wu

Graduate Theses and Dissertations

Terahertz imaging technology has grown substantially in recent years. With new advances made in the generation, manipulation, and detection of terahertz radiation, terahertz imaging has found its application as inspection tools in a wide range of areas including biomedicine, materials science, and aerospace industries. In the field of medical imaging, terahertz (THz) has emerged as a new imaging modality due to some fundamental physical properties of the THz wave. THz imaging has been used to examine various biological structures, and THz tomography has been developed to probe the 3D structures of those samples.

THz pulsed imaging (TPI) is one of …


Filters And Matrix Factorization, Myung-Sin Song, Palle E. T. Jorgensen Nov 2015

Filters And Matrix Factorization, Myung-Sin Song, Palle E. T. Jorgensen

SIUE Faculty Research, Scholarship, and Creative Activity

We give a number of explicit matrix-algorithms for analysis/synthesis

in multi-phase filtering; i.e., the operation on discrete-time signals which

allow a separation into frequency-band components, one for each of the

ranges of bands, say N , starting with low-pass, and then corresponding

filtering in the other band-ranges. If there are N bands, the individual

filters will be combined into a single matrix action; so a representation of

the combined operation on all N bands by an N x N matrix, where the

corresponding matrix-entries are periodic functions; or their extensions to

functions of a complex variable. Hence our setting entails …


Integrating Systems For Liquid/Substrate Characterization And Functional Printing, Jianyi Du, J. William Boley, Rebecca K. Kramer Aug 2015

Integrating Systems For Liquid/Substrate Characterization And Functional Printing, Jianyi Du, J. William Boley, Rebecca K. Kramer

The Summer Undergraduate Research Fellowship (SURF) Symposium

Gallium-Indium alloys are recently applied in fabricating soft devices, such as stretchable sensors, electric circuits, micro pumps and optics. Its printability demonstrates the possibility for a wide extension of the application. Current fabrication methods are inefficient when printing is most handled manually, and are highly dependent on material properties. There is need for a fast way to characterize material properties, and to functionally print the given shape on the substrate. This paper presents the construction of an efficiently integrated system with optical imaging and functional printing for Gallium-Indium alloys. The imaging section allows for characterization of material properties to fast …


Design And Verification Environment For High-Performance Video-Based Embedded Systems, Michael Mefenza Nentedem May 2015

Design And Verification Environment For High-Performance Video-Based Embedded Systems, Michael Mefenza Nentedem

Graduate Theses and Dissertations

In this dissertation, a method and a tool to enable design and verification of computation demanding embedded vision-based systems is presented. Starting with an executable specification in OpenCV, we provide subsequent refinements and verification down to a system-on-chip prototype into an FPGA-Based smart camera. At each level of abstraction, properties of image processing applications are used along with structure composition to provide a generic architecture that can be automatically verified and mapped to the lower abstraction level. The result is a framework that encapsulates the computer vision library OpenCV at the highest level, integrates Accelera's System-C/TLM with UVM and QEMU-OS …