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

Computer Sciences Commons

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

University of Central Florida

Discipline
Keyword
Publication Year
Publication
Publication Type

Articles 271 - 300 of 490

Full-Text Articles in Computer Sciences

The Subject Librarian Newsletter, Engineering And Computer Science, Spring 2017, Buenaventura "Ven" Basco Jan 2017

The Subject Librarian Newsletter, Engineering And Computer Science, Spring 2017, Buenaventura "Ven" Basco

Libraries' Newsletters

No abstract provided.


Jml Template Generation, Kushal Raghav Poojari Jan 2017

Jml Template Generation, Kushal Raghav Poojari

Electronic Theses and Dissertations

The Java Modeling Language (JML) is a behavioral interface specific language designed to specify Java modules (which are Java classes and interfaces). Specifications are used to describe the intended functionality without considering the way it is implemented. In JML, if a user wants to write specifications for a Java file, he or she must undertake several steps. To help automate the process of creating annotations for method specifications, a tool Jmlspec was created. Jmlspec generated a file that refines the source file and has empty placeholders in which one can write specifications. Although Jmlspec worked with older versions of Java, …


Visual Saliency Detection And Semantic Segmentation, Nasim Souly Jan 2017

Visual Saliency Detection And Semantic Segmentation, Nasim Souly

Electronic Theses and Dissertations

Visual saliency is the ability to select the most relevant data in the scene and reduce the amount of data that needs to be processed. We propose a novel unsupervised approach to detect visual saliency in videos. For this, we employ a hierarchical segmentation technique to obtain supervoxels of a video, and simultaneously, we build a dictionary from cuboids of the video. Then we create a feature matrix from coefficients of dictionary elements. Next, we decompose this matrix into sparse and redundant parts and obtain salient regions using group lasso. Our experiments provide promising results in terms of predicting eye …


The Subject Librarian Newsletter, Engineering And Computer Science, Spring 2016, Ven Basco Mar 2016

The Subject Librarian Newsletter, Engineering And Computer Science, Spring 2016, Ven Basco

Libraries' Newsletters

No abstract provided.


Spatial And Temporal Modeling For Human Activity Recognition From Multimodal Sequential Data, Jun Ye Jan 2016

Spatial And Temporal Modeling For Human Activity Recognition From Multimodal Sequential Data, Jun Ye

Electronic Theses and Dissertations

Human Activity Recognition (HAR) has been an intense research area for more than a decade. Different sensors, ranging from 2D and 3D cameras to accelerometers, gyroscopes, and magnetometers, have been employed to generate multimodal signals to detect various human activities. With the advancement of sensing technology and the popularity of mobile devices, depth cameras and wearable devices, such as Microsoft Kinect and smart wristbands, open a unprecedented opportunity to solve the challenging HAR problem by learning expressive representations from the multimodal signals recording huge amounts of daily activities which comprise a rich set of categories. Although competitive performance has been …


The Woz Recognizer: A Tool For Understanding User Perceptions Of Sketch-Based Interfaces, Jared Bott Jan 2016

The Woz Recognizer: A Tool For Understanding User Perceptions Of Sketch-Based Interfaces, Jared Bott

Electronic Theses and Dissertations

Sketch recognition has the potential to be an important input method for computers in the coming years; however, designing and building an accurate and sophisticated sketch recognition system is a time consuming and daunting task. Since sketch recognition is still at a level where mistakes are common, it is important to understand how users perceive and tolerate recognition errors and other user interface elements with these imperfect systems. A problem in performing this type of research is that we cannot easily control aspects of recognition in order to rigorously study the systems. We performed a study examining user perceptions of …


Gesture Assessment Of Teachers In An Immersive Rehearsal Environment, Roghayeh Barmaki Jan 2016

Gesture Assessment Of Teachers In An Immersive Rehearsal Environment, Roghayeh Barmaki

Electronic Theses and Dissertations

Interactive training environments typically include feedback mechanisms designed to help trainees improve their performance through either guided- or self-reflection. When the training system deals with human-to-human communications, as one would find in a teacher, counselor, enterprise culture or cross-cultural trainer, such feedback needs to focus on all aspects of human communication. This means that, in addition to verbal communication, nonverbal messages must be captured and analyzed for semantic meaning. The goal of this dissertation is to employ machine-learning algorithms that semi-automate and, where supported, automate event tagging in training systems developed to improve human-to-human interaction. The specific context in which …


High-Performance Composable Transactional Data Structures, Deli Zhang Jan 2016

High-Performance Composable Transactional Data Structures, Deli Zhang

Electronic Theses and Dissertations

Exploiting the parallelism in multiprocessor systems is a major challenge in the post ``power wall'' era. Programming for multicore demands a change in the way we design and use fundamental data structures. Concurrent data structures allow scalable and thread-safe accesses to shared data. They provide operations that appear to take effect atomically when invoked individually. A main obstacle to the practical use of concurrent data structures is their inability to support composable operations, i.e., to execute multiple operations atomically in a transactional manner. The problem stems from the inability of concurrent data structure to ensure atomicity of transactions composed from …


Tryopenjml - A Verily Based Web Application For Learning About The Java Modeling Language, Tushar Deshpande Jan 2016

Tryopenjml - A Verily Based Web Application For Learning About The Java Modeling Language, Tushar Deshpande

Electronic Theses and Dissertations

This thesis has a two-fold purpose. On the one hand, the web applications are an important part of life. On a day to day basis, from managing our heath care choices to banking, to connecting to a friend, almost everything is done through a web application. Development of these applications is also a very trend-driven domain. Numerous web frameworks are available today, but almost none has been created taking reliability into consideration. With the combination of application construction recipes and static analysis, the Verily framework was created to build more reliable web applications. On the other hand, the goal of …


Verification And Automated Synthesis Of Memristor Crossbars, Arya Pourtabatabaie Jan 2016

Verification And Automated Synthesis Of Memristor Crossbars, Arya Pourtabatabaie

Electronic Theses and Dissertations

The Memristor is a newly synthesized circuit element correlating differences in electrical charge and magnetic flux, which effectively acts as a nonlinear resistor with memory. The small size of this element and its potential for passive state preservation has opened great opportunities for data-level parallel computation, since the functions of memory and processing can be realized on the same physical device. In this research we present an in-depth study of memristor crossbars for combinational and sequential logic. We outline the structure of formulas which they are able to produce and henceforth the inherent powers and limitations of Memristive Crossbar Computing. …


Techniques For Automated Parameter Estimation In Computational Models Of Probabilistic Systems, Faraz Hussain Jan 2016

Techniques For Automated Parameter Estimation In Computational Models Of Probabilistic Systems, Faraz Hussain

Electronic Theses and Dissertations

The main contribution of this dissertation is the design of two new algorithms for automatically synthesizing values of numerical parameters of computational models of complex stochastic systems such that the resultant model meets user-specified behavioral specifications. These algorithms are designed to operate on probabilistic systems – systems that, in general, behave differently under identical conditions. The algorithms work using an approach that combines formal verification and mathematical optimization to explore a model's parameter space. The problem of determining whether a model instantiated with a given set of parameter values satisfies the desired specification is first defined using formal verification terminology, …


Transcriptional And Post-Transcriptional Regulation Of Gene Expression, Jun Ding Jan 2016

Transcriptional And Post-Transcriptional Regulation Of Gene Expression, Jun Ding

Electronic Theses and Dissertations

Regulation of gene expression includes a variety of mechanisms to increase or decrease specific gene products. Gene expression can be regulated at any stage from transcription to post-transcription and it's essential to almost all living organisms, as it increases the versatility and adaptability by allowing the cell to express the needed proteins. In this dissertation, we comprehensively studied the gene regulation from both transcriptional and post-transcriptional points of view. Transcriptional regulation is by which cells regulate the transcription from DNA to RNA, thereby directing gene activity. Transcriptional factors (TFs) play a very important role in transcriptional regulation and they are …


Analysis Of Commutativity With State-Chart Graph Representation Of Concurrent Programs., Kishore Debnath Jan 2016

Analysis Of Commutativity With State-Chart Graph Representation Of Concurrent Programs., Kishore Debnath

Electronic Theses and Dissertations

We present a new approach to check for Commutativity in concurrent programs from their run-time state-chart graphs. Two operations are said to be commutative if changing the order of their execution do not change the resultant effect on the working object. Commutative property is capable of boosting performance in concurrent transactions such that transactional concurrency is comparable to a non-blocking linearizable version of a similar data structure type. Transactional concurrency is a technique that analyses object semantics, as object states, to determine conflicts and recovery between conflicting operations. Processes that commute at object level can be executed concurrently at transaction …


Confluence Of Vision And Natural Language Processing For Cross-Media Semantic Relations Extraction, Amara Tariq Jan 2016

Confluence Of Vision And Natural Language Processing For Cross-Media Semantic Relations Extraction, Amara Tariq

Electronic Theses and Dissertations

In this dissertation, we focus on extracting and understanding semantically meaningful relationships between data items of various modalities; especially relations between images and natural language. We explore the ideas and techniques to integrate such cross-media semantic relations for machine understanding of large heterogeneous datasets, made available through the expansion of the World Wide Web. The datasets collected from social media websites, news media outlets and blogging platforms usually contain multiple modalities of data. Intelligent systems are needed to automatically make sense out of these datasets and present them in such a way that humans can find the relevant pieces of …


A Study Of Holistic Strategies For The Recognition Of Characters In Natural Scene Images, Muhammad Ali Jan 2016

A Study Of Holistic Strategies For The Recognition Of Characters In Natural Scene Images, Muhammad Ali

Electronic Theses and Dissertations

Recognition and understanding of text in scene images is an important and challenging task. The importance can be seen in the context of tasks such as assisted navigation for the blind, providing directions to driverless cars, e.g. Google car, etc. Other applications include automated document archival services, mining text from images, and so on. The challenge comes from a variety of factors, like variable typefaces, uncontrolled imaging conditions, and various sources of noise corrupting the captured images. In this work, we study and address the fundamental problem of recognition of characters extracted from natural scene images, and contribute three holistic …


Computational Approaches For Binning Metagenomic Reads, Ying Wang Jan 2016

Computational Approaches For Binning Metagenomic Reads, Ying Wang

Electronic Theses and Dissertations

Metagenomics uses sequencing technologies to study genetic sequences from whole microbial communities. Binning metagenomic reads is the most fundamental step in metagenomic studies, which is essential for the understanding of microbial functions, compositions, and interactions in environmental samples. Various taxonomy-dependent and taxonomy-independent approaches have been developed based on information such as sequence similarity, sequence composition, or k-mer frequency. However, there is still room for improvement, and it is still challenging to bin reads from species with similar or low abundance or to bin reads from unknown species. In this dissertation, we introduce one taxonomy-independent and three taxonomy-dependent approaches to improve …


Spatiotemporal Graphs For Object Segmentation And Human Pose Estimation In Videos, Dong Zhang Jan 2016

Spatiotemporal Graphs For Object Segmentation And Human Pose Estimation In Videos, Dong Zhang

Electronic Theses and Dissertations

Images and videos can be naturally represented by graphs, with spatial graphs for images and spatiotemporal graphs for videos. However, for different applications, there are usually different formulations of the graphs, and algorithms for each formulation have different complexities. Therefore, wisely formulating the problem to ensure an accurate and efficient solution is one of the core issues in Computer Vision research. We explore three problems in this domain to demonstrate how to formulate all of these problems in terms of spatiotemporal graphs and obtain good and efficient solutions. The first problem we explore is video object segmentation. The goal is …


Design Of A Jmldoclet For Jmldoc In Openjml, Arjun Mitra Reddy Donthala Jan 2016

Design Of A Jmldoclet For Jmldoc In Openjml, Arjun Mitra Reddy Donthala

Electronic Theses and Dissertations

The Java Modeling Language (JML) is a behavioral interface specification language designed for specifying Java classes and interfaces. OpenJML is a tool for processing JML specifications of Java programs. To facilitate viewing of these specifications in a user-friendly manner, a tool JMLdoc was created. The JMLdoc tool adds JML specifications to the usual Javadoc documentation. JMLdoc is an enhancement of Javadoc that adds to the Javadoc documentation the JML specifications that are present in the source code. The JMLdoc tool is a drop-in replacement for Javadoc, with additional functionality and additional options. The current design of JMLdoc uses the standard …


The Subject Librarian Newsletter, Engineering And Computer Science, Fall 2016, Buenaventura "Ven" Basco Jan 2016

The Subject Librarian Newsletter, Engineering And Computer Science, Fall 2016, Buenaventura "Ven" Basco

Libraries' Newsletters

No abstract provided.


A Comparison Of Concurrent Correctness Criteria For Shared Memory Based Data Structure, Dipanjan Bhattacharya Jan 2016

A Comparison Of Concurrent Correctness Criteria For Shared Memory Based Data Structure, Dipanjan Bhattacharya

Electronic Theses and Dissertations

Developing concurrent algorithms requires safety and liveness to be defined in order to understand their proper behavior. Safety refers to the correctness criteria while liveness is the progress guarantee. Nowadays there are a variety of correctness conditions for concurrent objects. The way these correctness conditions differ and the various trade-offs they present with respect to performance, usability, and progress guarantees is poorly understood. This presents a daunting task for the developers and users of such concurrent algorithms who are trying to better understand the correctness of their code and the various trade-offs associated with their design choices and use. The …


Quantitative Framework For Social Cultural Interactions, Taranjeet Singh Bhatia Jan 2016

Quantitative Framework For Social Cultural Interactions, Taranjeet Singh Bhatia

Electronic Theses and Dissertations

For an autonomous robot or software agent to participate in the social life of humans, it must have a way to perform a calculus of social behavior. Such a calculus must have explanatory power (it must provide a coherent theory for why the humans act the way they do), and predictive power (it must provide some plausible events from the predicted future actions of the humans). This dissertation describes a series of contributions that would allow agents observing or interacting with humans to perform a calculus of social behavior taking into account cultural conventions and socially acceptable behavior models. We …


Global Data Association For Multiple Pedestrian Tracking, Afshin Dehghan Jan 2016

Global Data Association For Multiple Pedestrian Tracking, Afshin Dehghan

Electronic Theses and Dissertations

Multi-object tracking is one of the fundamental problems in computer vision. Almost all multi-object tracking systems consist of two main components; detection and data association. In the detection step, object hypotheses are generated in each frame of a sequence. Later, detections that belong to the same target are linked together to form final trajectories. The latter step is called data association. There are several challenges that render this problem difficult, such as occlusion, background clutter and pose changes. This dissertation aims to address these challenges by tackling the data association component of tracking and contributes three novel methods for solving …


Sparsification Of Social Networks Using Random Walks, Bryan Wilder May 2015

Sparsification Of Social Networks Using Random Walks, Bryan Wilder

HIM 1990-2015

Analysis of large network datasets has become increasingly important. Algorithms have been designed to find many kinds of structure, with numerous applications across the social and biological sciences. However, a tradeoff is always present between accuracy and scalability; otherwise promising techniques can be computationally infeasible when applied to networks with huge numbers of nodes and edges. One way of extending the reach of network analysis is to sparsify the graph by retaining only a subset of its edges. The reduced network could prove much more tractable. For this thesis, I propose a new sparsification algorithm that preserves the properties of …


Modeling Crowd Mobility And Communication In Wireless Networks, Gurkan Solmaz Jan 2015

Modeling Crowd Mobility And Communication In Wireless Networks, Gurkan Solmaz

Electronic Theses and Dissertations

This dissertation presents contributions to the fields of mobility modeling, wireless sensor networks (WSNs) with mobile sinks, and opportunistic communication in theme parks. The two main directions of our contributions are human mobility models and strategies for the mobile sink positioning and communication in wireless networks. The first direction of the dissertation is related to human mobility modeling. Modeling the movement of human subjects is important to improve the performance of wireless networks with human participants and the validation of such networks through simulations. The movements in areas such as theme parks follow specific patterns that are not taken into …


Computerized Evaluatution Of Microsurgery Skills Training, Payal Jotwani Jan 2015

Computerized Evaluatution Of Microsurgery Skills Training, Payal Jotwani

Electronic Theses and Dissertations

The style of imparting medical training has evolved, over the years. The traditional methods of teaching and practicing basic surgical skills under apprenticeship model, no longer occupy the first place in modern technically demanding advanced surgical disciplines like neurosurgery. Furthermore, the legal and ethical concerns for patient safety as well as cost-effectiveness have forced neurosurgeons to master the necessary microsurgical techniques to accomplish desired results. This has lead to increased emphasis on assessment of clinical and surgical techniques of the neurosurgeons. However, the subjective assessment of microsurgical techniques like micro-suturing under the apprenticeship model cannot be completely unbiased. A few …


Opportunistic Spectrum Utilization By Cognitive Radio Networks: Challenges And Solutions, Muhammad Faisal Amjad Jan 2015

Opportunistic Spectrum Utilization By Cognitive Radio Networks: Challenges And Solutions, Muhammad Faisal Amjad

Electronic Theses and Dissertations

Cognitive Radio Network (CRN) is an emerging paradigm that makes use of Dynamic Spectrum Access (DSA) to communicate opportunistically, in the un-licensed Industrial, Scientific and Medical bands or frequency bands otherwise licensed to incumbent users such as TV broadcast. Interest in the development of CRNs is because of severe under-utilization of spectrum bands by the incumbent Primary Users (PUs) that have the license to use them coupled with an ever-increasing demand for unlicensed spectrum for a variety of new mobile and wireless applications. The essence of Cognitive Radio (CR) operation is the cooperative and opportunistic utilization of licensed spectrum bands …


Gauging Training Effectiveness Of Virtual Environment Simulation Based Applications For An Infantry Soldier Training Task, Douglas Maxwell Jan 2015

Gauging Training Effectiveness Of Virtual Environment Simulation Based Applications For An Infantry Soldier Training Task, Douglas Maxwell

Electronic Theses and Dissertations

The U.S. Army Training and Doctrine Command*s Army Learning Concept 2015 and Army Training Concept 2025 are documents that discuss the need for an adaptive soldier learning model with a flexible training delivery methodology. The U.S. Army has been investing in serious gaming technology for the past two decades as a cost effective means to teach tactics and strategy. Today, the U.S. Army is seeking to expand its application of virtual environment training to areas such as cultural awareness and human network analysis for the infantry soldier. These new expanded applications will require a higher level of non-determinant behavior inside …


Improving Fairness, Throughput And Blocking Performance For Long Haul And Short Reach Optical Networks, Sana Tariq Jan 2015

Improving Fairness, Throughput And Blocking Performance For Long Haul And Short Reach Optical Networks, Sana Tariq

Electronic Theses and Dissertations

Innovations in optical communication are expected to transform the landscape of global communications, internet and datacenter networks. This dissertation investigates several important issues in optical communication such as fairness, throughput, blocking probability and differentiated quality of service (QoS). Novel algorithms and new approaches have been presented to improve the performance of optical circuit switching (OCS) and optical burst switching (OBS) for long haul, and datacenter networks. Extensive simulations tests have been conducted to evaluate the effectiveness of the proposed algorithms. These simulation tests were performed over a number of network topologies such as ring, mesh and U.S. Long-Haul, some high …


Research On Improving Reliability, Energy Efficiency And Scalability In Distributed And Parallel File Systems, Junyao Zhang Jan 2015

Research On Improving Reliability, Energy Efficiency And Scalability In Distributed And Parallel File Systems, Junyao Zhang

Electronic Theses and Dissertations

With the increasing popularity of cloud computing and "Big data" applications, current data centers are often required to manage petabytes or exabytes of data. To store this huge amount of data, thousands or tens of thousands storage nodes are required at a single site. This imposes three major challenges for storage system designers: (1) Reliability---node failure in these datacenters is a normal occurrence rather than a rare situation. This makes data reliability a great concern. (2) Energy efficiency---a data center can consume up to 100 times more energy than a standard office building. More than 10% of this energy consumption …


Opportunistic Networks In Campus Environments, Salih Safa Bacanli Jan 2015

Opportunistic Networks In Campus Environments, Salih Safa Bacanli

Electronic Theses and Dissertations

Opportunistic communication is an active research area in wireless sensor networks. Exploiting the opportunities to communicate between devices in an unstable network is one of the main challenges of the opportunistic communication. In this thesis, we propose an infrastructure-independent opportunistic mobile social networking strategy for efficient message broadcasting in campus environments. Specifically, we focus on the application scenario of university campuses. In our model, the students' smartphones forward messages to each other. The messages are created spontaneously as independent events in various places of the campus. The events can be either urgent security alerts or private announcements to the students …