Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (16)
- Databases and Information Systems (14)
- Social and Behavioral Sciences (14)
- Artificial Intelligence and Robotics (11)
- Business (10)
-
- Accounting (8)
- Life Sciences (7)
- Medicine and Health Sciences (7)
- Programming Languages and Compilers (7)
- Education (6)
- Information Security (6)
- Linguistics (6)
- Mechanical Engineering (6)
- Bioinformatics (5)
- Civil and Environmental Engineering (5)
- Library and Information Science (5)
- Construction Engineering and Management (4)
- Medical Sciences (4)
- Software Engineering (4)
- Technology and Innovation (4)
- Arts and Humanities (3)
- Computational Biology (3)
- Data Science (3)
- Genetics and Genomics (3)
- Medical Pathology (3)
- Biochemistry, Biophysics, and Structural Biology (2)
- Biology (2)
- Biomedical Engineering and Bioengineering (2)
- Keyword
-
- Machine learning (45)
- Computer (21)
- Security (20)
- Model checking (13)
- Particle swarm optimization (12)
-
- Reinforcement learning (12)
- UAV (12)
- Generalization (11)
- Authentication (10)
- Clustering (10)
- Computer science (10)
- Database (10)
- Neural networks (10)
- Trust negotiation (10)
- Annotation (9)
- Computer graphics (9)
- Neural network (9)
- Privacy (9)
- Algorithm (8)
- Genealogy (8)
- Information retrieval (8)
- Interpolation (8)
- Ontology (8)
- Optimization (8)
- Simulation (8)
- DNA sequencing (7)
- Data extraction (7)
- Multicast (7)
- Robotics (7)
- Verification (7)
- Publication Year
- Publication
- Publication Type
Articles 511 - 540 of 823
Full-Text Articles in Computer Sciences
A Dynamic Attribute-Based Load Shedding Scheme For Data Stream Management Systems, Amit Ahuja, Yiu-Kai D. Ng
A Dynamic Attribute-Based Load Shedding Scheme For Data Stream Management Systems, Amit Ahuja, Yiu-Kai D. Ng
Faculty Publications
A data stream being transmitted over a network channel with capacity less than the data transmission rate of the data stream causes sequential network problems. In this paper, we present a new approach for shedding less-informative attribute data from a data stream to maintain a data transmission rate less than the network channel capacity. A scheme for shedding attributes and their data, instead of tuples, becomes imperative in data stream load shedding, since shedding a complete tuple would lead to shedding informative attribute data along with less-informative attribute data in the tuple. Our load shedding approach handles intra-stream, as well …
Conceptual Xml For Systems Analysis, Reema Al-Kamha
Conceptual Xml For Systems Analysis, Reema Al-Kamha
Theses and Dissertations
Because XML has become a new standard for data representation, there is a need for a simple conceptual model that works well with XML-based development. In this research we present a conceptual model for XML, called C-XML, which meets this new need of systems analysts who store their data using XML. We describe our implementation of an automatic conversion from XML Schema to C-XML that preserves information and constraints. With this conversion, we can view an XML Schema instance graphically at a higher level of abstraction. We also describe our implementation of an automatic conversion from C-XML to XML Schema. …
Intelligent Rotoscoping: A Semi-Automated Interactive Boundary Tracking Approach To Video Segmentation, Seth R. Holladay
Intelligent Rotoscoping: A Semi-Automated Interactive Boundary Tracking Approach To Video Segmentation, Seth R. Holladay
Theses and Dissertations
Video segmentation is an application of computer vision aimed at automating the extraction of an object from a series of video frames. However, it is a difficult problem, especially to compute at real-time, interactive rates. Although general application to video is difficult because of the wide range of image scenarios, user interaction can help to reduce the problem space and speed up the computation. This thesis presents a fast object-tracking tool that selects an object from a series of frames based on minimal user input. Our Intelligent Rotoscoping tool aims for increased speed and accuracy over other video segmentation tools, …
Finding Termination And Time Improvement In Predicate Abstraction With Under-Approximation And Abstract Matching, Dritan Kudra
Finding Termination And Time Improvement In Predicate Abstraction With Under-Approximation And Abstract Matching, Dritan Kudra
Theses and Dissertations
The focus of current formal verification methods is mitigating the state explosion problem. One of these formal methods is predicate abstraction, which reduces concrete states of a system to bitvectors of true/false valuations of a set of predicates. Predicate abstraction comes in two flavors, over-approximation and under-approximation. A drawback of over-approximation is that it produces too many spurious errors for data-intensive applications. A more recent under-approximation technique which does not produce spurious errors, does abstract matching on concrete states (AMCS). AMCS adds behaviors to an abstract system by augmenting the set of initial predicates, making use of a theorem prover. …
Cognitive And Behavioral Model Ensembles For Autonomous Virtual Characters, Jeffrey S. Whiting
Cognitive And Behavioral Model Ensembles For Autonomous Virtual Characters, Jeffrey S. Whiting
Theses and Dissertations
Cognitive and behavioral models have become popular methods to create autonomous self-animating characters. Creating these models presents the following challenges: (1) Creating a cognitive or behavioral model is a time intensive and complex process that must be done by an expert programmer (2) The models are created to solve a specific problem in a given environment and because of their specific nature cannot be easily reused. Combining existing models together would allow an animator, without the need of a programmer, to create new characters in less time and would be able to leverage each model's strengths to increase the character's …
Vision-Based Control And Flight Optimization Of A Rotorcraft Uav, David Christian Hubbard
Vision-Based Control And Flight Optimization Of A Rotorcraft Uav, David Christian Hubbard
Theses and Dissertations
A Rotorcraft UAV provides an ideal experimental platform for vision-based navigation. This thesis describes the flight tests of the US Army PALACE pro ject, which implements Moravec's pseudo-normalized correlation tracking algorithm. The tracker uses the movement of the landing site in the camera, a laser range, and the aircraft attitude from an IMU to estimate the relative motion of the UAV. The position estimate functions as a GPS equivalent to enable the rotorcraft to maneuver without the aid of GPS. Flight tests were performed with obstacles and over concrete, asphalt, and grass in daylight conditions with a safe landing area …
Active Learning For Part-Of-Speech Tagging: Accelerating Corpus Annotation, George Busby, Marc Carmen, James Carroll, Robbie Haertel, Deryle W. Lonsdale, Peter Mcclanahan, Eric K. Ringger, Kevin Seppi
Active Learning For Part-Of-Speech Tagging: Accelerating Corpus Annotation, George Busby, Marc Carmen, James Carroll, Robbie Haertel, Deryle W. Lonsdale, Peter Mcclanahan, Eric K. Ringger, Kevin Seppi
Faculty Publications
In the construction of a part-of-speech annotated corpus, we are constrained by a fixed budget. A fully annotated corpus is required, but we can afford to label only a subset. We train a Maximum Entropy Markov Model tagger from a labeled subset and automatically tag the remainder. This paper addresses the question of where to focus our manual tagging efforts in order to deliver an annotation of highest quality. In this context, we find that active learning is always helpful. We focus on Query by Uncertainty (QBU) and Query by Committee (QBC) and report on experiments with several baselines and …
To Repair Or Not To Repair: Helping Ad Hoc Routing Protocols To Distinguish Mobility From Congestion, Qiuyi Duan, Roger Pack, Manoj Pandey, Lei Wang, Daniel Zappala
To Repair Or Not To Repair: Helping Ad Hoc Routing Protocols To Distinguish Mobility From Congestion, Qiuyi Duan, Roger Pack, Manoj Pandey, Lei Wang, Daniel Zappala
Faculty Publications
In this paper we consider the problem of distinguishing whether frame loss at the MAC layer has occurred due to mobility or congestion. Most ad hoc routing protocols make the faulty assumption that all frame loss means the destination node has moved, resulting in significant overhead as they initiate the repair of routes that have not been broken. We design a mobility detection algorithm, MDA, that properly detects the cause of a lost frame, then coordinates with the routing protocol so that it reacts properly. This approach dramatically reduces routing protocol overhead and significantly increases application throughput. We use a …
Probabilistic Searching Using A Small Unmanned Aerial Vehicle, Steven R. Hansen, Timothy W. Mclain, Michael A. Goodrich
Probabilistic Searching Using A Small Unmanned Aerial Vehicle, Steven R. Hansen, Timothy W. Mclain, Michael A. Goodrich
Faculty Publications
Ground breaking concepts in optimal search theory were developed during World War II by the U.S. Navy. These concepts use an assumed detection model to calculate a detection probability rate and an optimal search allocation. Although this theory is useful in determining when and where search effort should be applied, it offers little guidance for the planning of search paths. This paper explains how search theory can be applied to path planning for an SUAV with a fixed CCD camera. Three search strategies are developed: greedy search, contour search, and composite search. In addition, the concepts of search efficiency and …
Manifold Sculpting, Michael S. Gashler
Manifold Sculpting, Michael S. Gashler
Theses and Dissertations
Manifold learning algorithms have been shown to be useful for many applications of numerical analysis. Unfortunately, existing algorithms often produce noisy results, do not scale well, and are unable to benefit from prior knowledge about the expected results. We propose a new algorithm that iteratively discovers manifolds by preserving the local structure among neighboring data points while scaling down the values in unwanted dimensions. This algorithm produces less noisy results than existing algorithms, and it scales better when the number of data points is much larger than the number of dimensions. Additionally, this algorithm is able to benefit from existing …
Hop-By-Hop Transport Control For Multi-Hop Wireless Networks, Daniel N. Scofield
Hop-By-Hop Transport Control For Multi-Hop Wireless Networks, Daniel N. Scofield
Theses and Dissertations
TCP can perform poorly in multi-hop wireless networks due to problems with contention and poor feedback from end-to-end control algorithms. This thesis explores the design of a hop-by-hop transport protocol (HxH). By allowing intermediate nodes to actively participate, the protocol can respond more quickly to changing network conditions and exploit the unique characteristics of wireless networks. Results indicate that hop-by-hop transport can achieve throughput rates that are double those of TCP, depending on the speed of the wireless links.
T-Spline Simplification, David L. Cardon
T-Spline Simplification, David L. Cardon
Theses and Dissertations
This work focuses on generating approximations of complex T-spline surfaces with similar but less complex T-splines. Two approaches to simplifying T-splines are proposed: a bottom-up approach that iteratively refines an over-simple T-spline to approximate a complex one, and a top-down approach that evaluates existing control points for removal in producing an approximations. This thesis develops and compares the two simplification methods, determining the simplification tasks to which each is best suited. In addition, this thesis documents supporting developments made to T-spline research as simplification was developed.
On-The-Fly Dynamic Dead Variable Analysis, Joel P. Self
On-The-Fly Dynamic Dead Variable Analysis, Joel P. Self
Theses and Dissertations
State explosion in model checking continues to be the primary obstacle to widespread use of software model checking. The large input ranges of variables used in software is the main cause of state explosion. As software grows in size and complexity the problem only becomes worse. As such, model checking research into data abstraction as a way of mitigating state explosion has become more and more important. Data abstractions aim to reduce the effect of large input ranges. This work focuses on a static program analysis technique called dead variable analysis. The goal of dead variable analysis is to discover …
Improving Machine Learning Through Oracle Learning, Joshua Ephraim Menke
Improving Machine Learning Through Oracle Learning, Joshua Ephraim Menke
Theses and Dissertations
The following dissertation presents a new paradigm for improving the training of machine learning algorithms, oracle learning. The main idea in oracle learning is that instead of training directly on a set of data, a learning model is trained to approximate a given oracle's behavior on a set of data. This can be beneficial in situations where it is easier to obtain an oracle than it is to use it at application time. It is shown that oracle learning can be applied to more effectively reduce the size of artificial neural networks, to more efficiently take advantage of domain experts …
Ria: An Rf Interference Avoidance Algorithm For Heterogeneous Wireless Networks, Daniel P. Delorey, Qiuyi Duan, Charles D. Knutson, Manoj Pandey, Lei Wang, Ryan W. Woodings, Daniel Zappala
Ria: An Rf Interference Avoidance Algorithm For Heterogeneous Wireless Networks, Daniel P. Delorey, Qiuyi Duan, Charles D. Knutson, Manoj Pandey, Lei Wang, Ryan W. Woodings, Daniel Zappala
Faculty Publications
Devices with multiple wireless interfaces are becoming increasingly popular. We envision that these devices will become the building block for future mesh networks, providing seamless connectivity across a range of heterogeneous devices. Although these devices typically implement frequency sharing, using either Direct Sequence Spread Spectrum (DSSS) or Frequency Hopping Spread Spectrum (FHSS), they may still interfere with one another. In this paper we provide a novel Radio Interference Avoidance (RIA) algorithm that solves the problem of interference between IEEE 802.11 and Bluetooth. We then extend this algorithm to other types of DSSS and FHSS combinations. Though the algorithm is limited …
Obstacle Annotation By Demonstration, Michael David Clement
Obstacle Annotation By Demonstration, Michael David Clement
Theses and Dissertations
By observing human driving with a “digital head" (combined video camera and accelerometers) and taking a few hand annotations, we can automatically annotate regions in a robot's field of view that should be interpreted as obstacles to be avoided. This is accomplished by detecting the movement for a given frame in a video. Some hand annotations of video frames are necessary and they are used to create Probability Grids. Using the movement data and the Probability Grids, it is possible to annotate large amounts of video data quickly in an automated system.
Observational Studies Of Software Engineering Using Data From Software Repositories, Daniel Pierce Delorey
Observational Studies Of Software Engineering Using Data From Software Repositories, Daniel Pierce Delorey
Theses and Dissertations
Data for empirical studies of software engineering can be difficult to obtain. Extrapolations from small controlled experiments to large development environments are tenuous and observation tends to change the behavior of the subjects. In this thesis we propose the use of data gathered from software repositories in observational studies of software engineering. We present tools we have developed to extract data from CVS repositories and the SourceForge Research Archive. We use these tools to gather data from 9,999 Open Source projects. By analyzing these data we are able to provide insights into the structure of Open Source projects. For example, …
Stylized Hatching For 3d Animation, Trent Fielding Crow
Stylized Hatching For 3d Animation, Trent Fielding Crow
Theses and Dissertations
Much research has been done in creating non-photorealistic renderings of objects that mimic the look of hand-made drawings by traditional artists. This thesis extends work in this area by presenting an NPR hatching method that can be applied to 3D animated films to help them feel more hand drawn. In contrast to most other NPR methods, this method preserves the 3D lighting and effects of the film that make it interesting to watch. This process includes a procedural algorithm to create a hatching pattern that can be easily integrated into any film's pipeline that uses Renderman. In addition, we create …
Live Surface, Christopher J. Armstrong
Live Surface, Christopher J. Armstrong
Theses and Dissertations
Live Surface allows users to segment and render complex surfaces from 3D image volumes at interactive (sub-second) rates using a novel, Cascading Graph Cut (CGC). Live Surface consists of two phases. (1) Preprocessing for generation of a complete 3D watershed hierarchy followed by tracking of all catchment basin surfaces. (2) User interaction in which, with each mouse movement, the 3D object is selected and rendered in real time. Real-time segmentation is ccomplished by cascading through the 3D watershed hierarchy from the top, applying graph cut successively at each level only to catchment basins bordering the segmented surface from the previous …
Feature-Based Mini Unmanned Air Vehicle Video Euclidean Stabilization With Local Mosaics, Damon Dyck Gerhardt
Feature-Based Mini Unmanned Air Vehicle Video Euclidean Stabilization With Local Mosaics, Damon Dyck Gerhardt
Theses and Dissertations
Video acquired using a camera mounted on a mini Unmanned Air Vehicle (mUAV) may be very helpful in Wilderness Search and Rescue and many other applications but is commonly plagued with limited spatial and temporal field of views, distractive jittery motions, disorienting rotations, and noisy and distorted images. These problems collectively make it very difficult for human viewers to identify objects of interest as well as infer correct orientations throughout the video. In order to expand the temporal and spatial field of view, stabilize, and better orient users of noisy and distorted mUAV video, a method is proposed of estimating …
Interactive Image Repair With Assisted Structure And Texture Completion, Teryl Arnold, Bryan S. Morse
Interactive Image Repair With Assisted Structure And Texture Completion, Teryl Arnold, Bryan S. Morse
Faculty Publications
Removing image defects in an undetectable manner has been studied for its many useful and varied applications. In many cases the desired result may be ambiguous from the image data alone and needs to be guided by a user’s knowledge of the intended result. This paper presents a framework for interactively incorporating user guidance into the filling-in process, more effectively using user input to fill in damaged regions in an image. This framework contains five main steps: first, the scratch or defect is detected; second, the edges outside the defect are detected; third, curves are fit to the detected edges; …
Performance Evaluation Of Vision-Based Navigation And Landing On A Rotorcraft Unmanned Aerial Vehicle, David Hubbard, Timothy W. Mclain, Bryan S. Morse, Colin Theodore, Mark Tischler
Performance Evaluation Of Vision-Based Navigation And Landing On A Rotorcraft Unmanned Aerial Vehicle, David Hubbard, Timothy W. Mclain, Bryan S. Morse, Colin Theodore, Mark Tischler
Faculty Publications
A Rotorcraft UAV provides an ideal experimental platform for vision-based navigation. This paper describes the flight tests of the US Army PALACE project, which implements Moravec’s pseudo-normalized correlation tracking algorithm. The tracker uses the movement of the landing site in the camera, a laser range, and the aircraft attitude from an IMU to estimate the relative motion of the UAV. The position estimate functions as a GPS equivalent to enable the rotorcraft to maneuver without the aid of GPS. With GPS data as a baseline, tests were performed in simulation and in flight that measure the accuracy of the position …
Human–Robot Interaction: A Survey, Michael A. Goodrich, Alan C. Schultz
Human–Robot Interaction: A Survey, Michael A. Goodrich, Alan C. Schultz
Faculty Publications
Human–Robot Interaction (HRI) has recently received considerable attention in the academic community, in labs, in technology companies, and through the media. Because of this attention, it is desirable to present a survey of HRI to serve as a tutorial to people outside the field and to promote discussion of a unified vision of HRI within the field. The goal of this review is to present a unified treatment of HRI-related problems, to identify key themes, and discuss challenge problems that are likely to shape the field in the near future. Although the review follows a survey structure, the goal of …
System For Collision Detection Between Deformable Models Built On Axis Aligned Bounding Boxes And Gpu Based Culling, David Owen Tuft
System For Collision Detection Between Deformable Models Built On Axis Aligned Bounding Boxes And Gpu Based Culling, David Owen Tuft
Theses and Dissertations
Collision detection between deforming models is a difficult problem for collision detection systems to handle. This problem is even more difficult when deformations are unconstrained, objects are in close proximity to one another, and when the entity count is high. We propose a method to perform collision detection between multiple deforming objects with unconstrained deformations that will give good results in close proximities. Currently no systems exist that achieve good performance on both unconstrained triangle level deformations and deformations that preserve edge connectivity. We propose a new system built as a combination of Graphics Processing Unit (GPU) based culling and …
Eliminating Redundant And Less-Informative Rss News Articles Based On Word Similarity And A Fuzzy Equivalence Relation, Ian Garcia
Theses and Dissertations
The Internet has marked this era as the information age. There is no precedent in the amazing amount of information, especially network news, that can be accessed by Internet users these days. As a result, the problem of seeking information in online news articles is not the lack of them but being overwhelmed by them. This brings huge challenges regarding processing of online news feeds, i.e., how to determine which news article is important, how to determine the quality of each news article, and how to filter irrelevant and redundant information. In this thesis, we propose a method for filtering …
Implicit Affinity Networks, Matthew Scott Smith
Implicit Affinity Networks, Matthew Scott Smith
Theses and Dissertations
Although they clearly exist, affinities among individuals are not all easily identified. Yet, they offer unique opportunities to discover new social networks, strengthen ties among individuals, and provide recommendations. We propose the idea of Implicit Affinity Networks (IANs) to build, visualize, and track affinities among groups of individuals. IANs are simple, interactive graphical representations that users may navigate to uncover interesting patterns. This thesis describes a system supporting the construction of IANs and evaluates it in the context of family history and online communities.
Skuery: Manipulation Of S-Expressions Using Xquery Techniques, Kevin Burke Tew
Skuery: Manipulation Of S-Expressions Using Xquery Techniques, Kevin Burke Tew
Theses and Dissertations
Data query operations inside programming languages presently perform their functions through the use of domain-specific, declarative expressions and by way of course-grain, API library calls. These methods of operation are practiced by relational databases as well as semistructured XML data stores. Layers of translation, which are necessary to transform data and instructions from the domain of programming languages to data query systems, negtatively effect the performance of data query operations. Skuery resolves this impedance by adopting XML as a native data type with a native representation (SXML). Likewise, query operations are defined in a general purpose programming language (Scheme in …
Generating Ontologies Via Language Components And Ontology Reuse, Deryle W. Lonsdale, Yihong Ding, David W. Embley, Martin Hepp, Li Xu
Generating Ontologies Via Language Components And Ontology Reuse, Deryle W. Lonsdale, Yihong Ding, David W. Embley, Martin Hepp, Li Xu
Faculty Publications
Realizing the Semantic Web involves creating ontologies, a tedious and costly challenge. Reuse can reduce the cost of ontology engineering. Semantic Web ontologies can provide useful input for ontology reuse. However, the automated reuse of such ontologies remains underexplored. This paper presents a generic architecture for automated ontology reuse. With our implementation of this architecture, we show the practicality of automating ontology generation through ontology reuse. We experimented with a large generic ontology as a basis for automatically generating domain ontologies that fit the scope of sample natural-language web pages. The results were encouraging, resulting in five lessons pertinent to …
Analogical Modeling: An Update, Deryle W. Lonsdale, David Eddington
Analogical Modeling: An Update, Deryle W. Lonsdale, David Eddington
Faculty Publications
Analogical modeling is a supervised exemplar-based approach that has been widely applied to predict linguistic behavior. The paradigm has been well documented in the linguistics and cognition literature, but is less well known to the machine learning community. This paper sets out some of the basics of the approach, including a simplified example of the fundamental algorithm’s operation. It then surveys some of the recent analogical modeling language applications, and sketches how the computational system has been enhanced lately to offer users increased flexibility and processing power. Some comparisons and contrasts are drawn between analogical modeling and other language modeling …
A Cognitive Robotics Approach To Comprehending Human Language And Behaviors, Deryle W. Lonsdale, D. Paul Benjamin, Damian Lyons
A Cognitive Robotics Approach To Comprehending Human Language And Behaviors, Deryle W. Lonsdale, D. Paul Benjamin, Damian Lyons
Faculty Publications
The ADAPT project is a collaboration of researchers in linguistics, robotics and artificial intelligence at three universities. We are building a complete robotic cognitive architecture for a mobile robot designed to interact with humans in a range of environments, and which uses natural language and models human behavior. This paper concentrates on the HRI aspects of ADAPT, and especially on how ADAPT models and interacts with humans.