Computer Sciences Commons^™

Place*: A Distributed Spatio-Temporal Data Stream Management System For Moving Objects, Xiaopeng Xiong, Hicham G. Elmongui, Xiaoyong Chai, Walid G. Aref

Department of Computer Science Technical Reports

No abstract provided.

Contour Encoded Compression And Transmission, Christopher B. Nelson

Theses and Dissertations

As the need for digital libraries, especially genealogical libraries, continues to rise, the need for efficient document image compression is becoming more and more apparent. In addition, because many digital library users access them from dial-up Internet connections, efficient strategies for compression and progressive transmission become essential to facilitate browsing operations. To meet this need, we developed a novel method for representing document images in a parametric form. Like other “hybrid" image compression operations, the Contour Encoded Compression and Transmission (CECAT) system first divides images into foreground and background layers. The emphasis of this thesis revolves around improving the compression …

A Parallel Unmixing Algorithm For Hyperspectral Images, Stefan A. Robila, Lukasz G. Maciak

Department of Computer Science Faculty Scholarship and Creative Works

We present a new algorithm for feature extraction in hyperspectral images based on source separation and parallel computing. In source separation, given a linear mixture of sources, the goal is to recover the components by producing an unmixing matrix. In hyperspectral imagery, the mixing transform and the separated components can be associated with endmembers and their abundances. Source separation based methods have been employed for target detection and classification of hyperspectral images. However, these methods usually involve restrictive conditions on the nature of the results such as orthogonality (in Principal Component Analysis - PCA and Orthogonal Subspace Projection - OSP) …

Object-Oriented Design Of An Automated Calibration System For An Analog I/O Process Control Device, Craig N. Rogers

Regis University Student Publications (comprehensive collection)

The goal of this project was to deliver the design of object-oriented software for the control of a custom calibration/test system. This calibration/test system is to be used for the production testing and calibration of an Analog Input device used in a process control system. Software features include a GUI (Graphical User Interface), Analog Input device troubleshooting tools, calibration/test system calibration and troubleshooting tools, and report printing capability. This project followed the methodology defined by the Unified Process Model and delivered design documentation through the Inception and Elaboration phases. This paper discusses the planning, documentation and testing differences between a …

A Performance Evaluation Of Dynamic Transport Switching For Multi-Transport Devices, Lei Wang

Theses and Dissertations

Multi-transport devices are becoming more common, but sophisticated software is needed to fully realize the advantages of these devices. In this paper, we examine the performance of dynamic transport switching, which selects the best available transport for communication between two devices. We simulate transport switching within the Quality of Transport (QoT) architecture and show that it can effectively mitigate the effects of congestion and interference for connections between two multi-transport devices. We then evaluate dynamic transport switching overhead to characterize its effect on application throughput. Based on these insights, we identify several limitations of the QoT architecture and present solutions …

Hamiltonicity And Colorings Of Arrangement Graphs, Stefan Felsner, Ferran Hurtado, Marc Noy, Ileana Streinu

Computer Science: Faculty Publications

We study connectivity, Hamilton path and Hamilton cycle decomposition, 4-edge and 3-vertex coloring for geometric graphs arising from pseudoline (affine or projective) and pseudocircle (spherical) arrangements. While arrangements as geometric objects are well studied in discrete and computational geometry, their graph theoretical properties seem to have received little attention so far. In this paper we show that they provide well-structured examples of families of planar and projective-planar graphs with very interesting properties. Most prominently, spherical arrangements admit decompositions into two Hamilton cycles; this is a new addition to the relatively few families of 4-regular graphs that are known to have …

Eliminating Redundant And Less-Informative Rss News Articles Based On Word Similarity And A Fuzzy Equivalence Relation, Ian Garcia, Yiu-Kai D. Ng

Faculty Publications

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 in processing online news feeds, e.g., 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 paper, we propose a method for filtering redundant …

Modeling Heterogeneous User Churn And Local Resilience Of Unstructured P2p Networks, Zhongmei Yao, Derek Leonard, Dmitri Loguinov, Xiaoming Wang

Computer Science Faculty Publications

Previous analytical results on the resilience of unstructured P2P systems have not explicitly modeled heterogeneity of user churn (i.e., difference in online behavior) or the impact of in-degree on system resilience. To overcome these limitations, we introduce a generic model of heterogeneous user churn, derive the distribution of the various metrics observed in prior experimental studies (e.g., lifetime distribution of joining users, joint distribution of session time of alive peers, and residual lifetime of a randomly selected user), derive several closed-form results on the transient behavior of in-degree, and eventually obtain the joint in/out degree isolation probability as a simple …

Digital Receipts: A System To Detect The Compromise Of Digital Certificates, Nathaniel Allen Seeley

Theses and Dissertations

The ease of copying digital materials creates difficulty in detecting the theft of digital certificates. Uneducated users frequently fail to protect their digital certificate keys by not encrypting them, storing them in insecure places, and using them unwisely. In addition, there is no way to prove that protocols involving certificates are completely secure. This thesis introduces a system to ameliorate these problems by detecting the compromise of digital certificates. It leverages dual logging messages sent via side channels to a trusted third party. This third party correlates these messages and automatically detects when an imposter presents a certificate based on …

On-Line Electronic Document Collaboration And Annotation, Trev R. Harmon

Theses and Dissertations

The Internet provides a powerful medium for communication and collaboration. The ability one has to connect and interact with web-based tools from anywhere in the world makes the Internet ideal for such tasks. However, the lack of native tools can be a hindrance when deploying collaborative initiatives, as many current projects require specialized software in order to operate. This thesis demonstrates, with the comparably recent advances in browser technology and Document Object Model (DOM) implementation, a web-based collaborative annotation system can be developed that can be accessed by a user through a standards-compliant web browser. Such a system, demonstrated to …

Robust Control Techniques Enabling Duty Cycle Experiments Utilizing A 6-Dof Crewstation Motion Base, A Full Scale Combat Hybrid Electric Power System, And Long Distance Internet Communications, Marc Compere, Jarrett Goodell, Miguel Simon, Wilford Smith, Mark Brudnak

Publications

The RemoteLink effort supports the U.S. Army's objective for developing and fielding next generation hybrid-electric combat vehicles. It is a distributed soldierin- the-Ioop and hardware-in-the-Ioop environment with a 6-DOF motion base for operator realism, a full-scale combat hybrid electric power system, and an operational context provided by OneSAF. The driver/gunner crewstations rest on one of two 6-DOF motion bases at the U.S. Army TARDEC Simulation Laboratory (TSL). The hybrid power system is located 2,450 miles away at the TARDEC Power and Energy System Integration Laboratory (P&E SIL). The primary technical challenge in the RemoteLink is to operate both laboratories together …

Learning In Short-Time Horizons With Measurable Costs, Patrick Bowen Mullen

Theses and Dissertations

Dynamic pricing is a difficult problem for machine learning. The environment is noisy, dynamic and has a measurable cost associated with exploration that necessitates that learning be done in short-time horizons. These short-time horizons force the learning algorithms to make pricing decisions based on scarce data. In this work, various machine learning algorithms are compared in the context of dynamic pricing. These algorithms include the Kalman filter, artificial neural networks, particle swarm optimization and genetic algorithms. The majority of these algorithms have been modified to handle the pricing problem. The results show that these adaptations allow the learning algorithms to …

Dynamic Shadow Removal From Front Projection Displays, Christopher O. Jaynes

Computer Science Faculty Patents

A technique and system for detecting a radiometric variation/artifacts of a front-projected dynamic display region under observation by at least one camera. The display is comprised of one or more images projected from one or more of a plurality of projectors; the system is preferably calibrated by using a projective relationship. A predicted image of the display region by the camera is constructed using frame-buffer information from each projector contributing to the display, which has been geometrically transformed for the camera and its relative image intensity adjusted. A detectable difference between a predicted image and the display region under observation …

{Ontology: Resource} X {Matching : Mapping} X {Schema : Instance} :: Components Of The Same Challenge, Amit P. Sheth

Kno.e.sis Publications

Ontologies enable us to elevate syntactic and structural processing in an information system/Web to an information system/Web powered with semantic processing. Experience has shown that monolithic and tightly coupled approaches seldom succeed, and majority of information systems and applications will need to deal with plurality of ontologies in a loosely coupled environment (i.e., independently evolving ontologies and inter-ontology relationships, existence of different contexts for different users/applications etc.) Development of such loosely-coupled multi-ontology environments entails development of techniques for ontology mapping/alignment, multi-ontology query processing, and much more.

Active Semantic Electronic Medical Record, Amit P. Sheth, Sangeeta Agrawal, Jonathan Lathem, Nicole Oldham, H. Wingate, K. Gallagher

Kno.e.sis Publications

The healthcare industry is rapidly advancing towards the widespread use of electronic medical records systems to manage the increasingly large amount of patient data and reduce medical errors. In addition to patient data there is a large amount of data describing procedures, treatments, diagnoses, drugs, insurance plans, coverage, formularies and the relationships between these data sets. While practices have benefited from the use of EMRs, infusing these essential programs with rich domain knowledge and rules can greatly enhance their performance and ability to support clinical decisions. Active Semantic Electronic Medical Record (ASEMR) application discussed here uses Semantic Web technologies to …

Fuzzy Neural Network Models For Multispectral Image Analysis, Arun D. Kulkarni, Sara Mccaslin

Computer Science Faculty Publications and Presentations

Fuzzy neural networks (FNNs) provide a new approach for classification of multispectral data and to extract and optimize classification rules. Neural networks deal with issues on a numeric level, whereas fuzzy logic deals with them on a semantic or linguistic level. FNNs synthesize fuzzy logic and neural networks. Recently, there has been growing interest in the research community not only to understand how FNNs arrive at particular decisions but how to decode information stored in the form of connection strengths in the network. In this paper, we propose fuzzy neural network models for classification of pixels in multispectral images and …

Icodes (Integrated Computerized Deployment System) Technical And Operational Description, Cesar Diaz, Billy Waiters, Jerry Pickard, Jason Naylor, Steven Gollery, Patrick Mcgraw, Michael Huffman, John Fanshier, Matt Parrott, Steve O'Driscoll-Packer, Boone Pendergrast, Evan Sylvester, Jens Pohl

Collaborative Agent Design (CAD) Research Center

Over the past decade CDM Technologies, Inc. (CDM) in conjunction with the Collaborative Agent Design Research Center (CADRC) at California Polytechnic State University (Cal Poly) in San Luis Obispo, has developed a suite of information-centric software tools in support of military deployment and distribution processes. All of these tools feature agents that are capable of reasoning about data in the context provided by an internal information model. Together they represent an evolving suite of adaptive Knowledge Management Enterprise Services (KMES) that can be readily configured into a net-centric planning and decision-support toolset for a particular application domain.

As a set …

On The Complexity Of Horn Description Logics, Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler

Computer Science and Engineering Faculty Publications

Horn-SHIQ has been identified as a fragment of the description logic SHIQ for which inferencing is in PT_IME with respect to the size of the ABox. This enables reasoning with larger ABoxes in situations where the TBox is static, and represents one approach towards tractable description logic reasoning. In this paper, we show that reasoning in Horn-SHIQ, in spite of its low datacomplexity, is E_xpT_IME-hard with respect to the overall size of the knowledge base. While this result is not unexpected, the proof is not a mere modification of existing reductions since …

A Framework For Schema-Driven Relationship Discovery From Unstructured Text, Cartic Ramakrishnan, Krzysztof Kochut, Amit P. Sheth

Kno.e.sis Publications

We address the issue of extracting implicit and explicit relationships between entities in biomedical text. We argue that entities seldom occur in text in their simple form and that relationships in text relate the modified, complex forms of entities with each other. We present a rule-based method for (1) extraction of such complex entities and (2) relationships between them and (3) the conversion of such relationships into RDF. Furthermore, we present results that clearly demonstrate the utility of the generated RDF in discovering knowledge from text corpora by means of locating paths composed of the extracted relationships.

Clinical Data Entry & Protocol Tracking System, Neeta Pophali

Regis University Student Publications (comprehensive collection)

CLINICAL DATA ENTRY & PROTOCOL TRACKING SYSTEM (CDEPT) is a software framework designed to provide the tools necessary to rapidly develop web based data entry and data management systems for clinical trails and medical research studies. A software framework defines a model, approach, procedures and tools for creating new protocols for clinical studies. As a framework this software is able to gain efficiency by providing standard approaches and tools for commonly needed capabilities such as construction of data entry routines, validation of data, audit trails and monitoring the completeness and timeliness of data collection. However, as a framework this software …

A Case Study On Grid Performance Modeling, Amy Apon, Baochuan Lu, Larry Dowdy, Frank Robinson, Doug Hoffman, Denny Brewer

Publications

The purpose of this case study is to develop a performance model for an enterprise grid for performance management and capacity planning1. The target environment includes grid applications such as health-care and financial services where the data is located primarily within the resources of a worldwide corporation. The approach is to build a discrete event simulation model for a representative work-flow grid. Five work-flow classes, found using a customized k-means clustering algorithm characterize the workload of the grid. Analyzing the gap between the simulation and measurement data validates the model. The case study demonstrates that the simulation model can be …

Optimal Placement And Control Of Unified Power Flow Control Devices Using Evolutionary Computing And Sequential Quadratic Programming, Radha P. Kalyani, Mariesa Crow, Daniel R. Tauritz

Electrical and Computer Engineering Faculty Research & Creative Works

A crucial factor effecting modern power systems today is power flow control. An effective means for controlling and improving power flow is by installing fast reacting devices such as a unified power flow controller (UPFC). For maximum positive impact of this device on the power grid, it should be installed at an optimal location and employ an optimal realtime control algorithm. This paper proposes the combination of an evolutionary algorithm (EA) to find the optimal location and sequential quadratic programming (SQP) to optimize the UPFC control settings. Simulations are conducted using the classic IEEE 118 bus test system. For comparison …

An Improved Distance Heuristic Function For Directed Software Model Checking, Eric G. Mercer, Neha Rungta

Faculty Publications

State exploration in directed software model checking is guided using a heuristic function to move states near errors to the front of the search queue. Distance heuristic functions rank states based on the number of transitions needed to move the current program state into an error location. Lack of calling context information causes the heuristic function to underestimate the true distance to the error; however, inlining functions at call sites in the control flow graph to capture calling context leads to an exponential growth in the computation. This paper presents a new algorithm that implicitly inlines functions at call sites …

Serious Gordon Using Serious Games To Teach Food Safety In The Kitchen, Brian Mac Namee, Pauline Rooney, Patrick Lindstrom, Andrew Ritchie, Frances Boylan, Greg Burke

Papers, presentations and other resources

This paper will describe the development of Serious Gordon, an interactive digital game developed to tech the basics of kitchen food safety to workers in industries dealing with food. The motivations driving the development of the game will be described as will the development process itself. An initial evaluation of the game, from both a technical and pedagogical point of view, will be presented as will conclusions on the viability of using a commercial game engine for the purpose of developing educational games.

How To Reason With Owl In A Logic Programming System, Markus Krotzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek

Computer Science and Engineering Faculty Publications

Logic programming has always been a major ontology modeling paradigm, and is frequently being used in large research projects and industrial applications, e.g., by means of the F-Logic reasoning engine OntoBroker or the TRIPLE query, inference, and transformation language and system. At the same time, the Web Ontology Language OWL has been recommended by the W3C for modeling ontologies for the Web. Naturally, it is desirable to investigate the interoperability between both paradigms. In this paper, we do so by studying an expressive fragment of OWL DL for which reasoning can be reduced to the evaluation of Horn logic programs. …

Security In Pervasive Computing: Current Status And Open Issues, Munirul Haque, Sheikh Iqbal Ahamed

Mathematics, Statistics and Computer Science Faculty Research and Publications

Million of wireless device users are ever on the move, becoming more dependent on their PDAs, smart phones, and other handheld devices. With the advancement of pervasive computing, new and unique capabilities are available to aid mobile societies. The wireless nature of these devices has fostered a new era of mobility. Thousands of pervasive devices are able to arbitrarily join and leave a network, creating a nomadic environment known as a pervasive ad hoc network. However, mobile devices have vulnerabilities, and some are proving to be challenging. Security in pervasive computing is the most critical challenge. Security is needed to …

Dynamic Programming-Based Energy-Efficient Rate Adaptation For Wireless Ad Hoc Networks, Maciej Jan Zawodniok, Jagannathan Sarangapani

Electrical and Computer Engineering Faculty Research & Creative Works

Resource constraints require that ad hoc wireless networks are energy efficient during transmission and rate adaptation. In this paper we propose a novel cross-layer energy-efficient rate adaptation scheme that employs dynamic programming (DP) principle to analytically select the modulation scheme online. The scheme uses channel state information from the physical layer and congestion information from the scheduling layer to select a modulation rate. This online selection maximizes throughput while saving energy and preventing congestion. The simulation results indicate that an increase in throughput by 96% and energy-efficiency by 131% is observed when compared to the Receiver Based AutoRate (RBAR) protocol.

Robust Controllability In Temporal Constraint Networks Under Uncertainty, Hoong Chuin Lau, Jia Li, Roland H. C. Yap

Research Collection School Of Computing and Information Systems

Temporal constraint networks are embedded in many planning and scheduling problems. In dynamic problems, a fundamental challenge is to decide whether such a network can be executed as uncertainty is revealed over time. Very little work in this domain has been done in the probabilistic context. In this paper, we propose a Temporal Constraint Network (TCN) model where durations of uncertain activities are represented by random variables. We wish to know whether such a network is robust controllable, i.e. can be executed dynamically within a given failure probability, and if so, how one might find a feasible schedule as the …

Dcma: A Label-Switching Mac For Efficient Packet Forwarding In Multi-Hop Wireless Networks, Arup Acharya, Sachin Ganu, Archan Misra

Research Collection School Of Computing and Information Systems

This paper addresses the problem of efficient packet forwarding in a multihop, wireless "mesh" network. We present an efficient interface contained forwarding (ICF) architecture for a "wireless router," i.e., a forwarding node with a single wireless network interface card (NIC) in a multihop wireless network that allows a packet to be forwarded entirely within the NIC of the forwarding node without requiring per-packet intervention by the node's CPU. To effectively forward packets in a pipelined fashion without incurring the 802.11-related overheads of multiple independent channel accesses, we specify a slightly modified version of the 802.11 MAC, called data driven cut-through …

Low-Latency Broadcast In Multirate Wireless Mesh Networks, Chun Tung Chou, Archan Misra, Junaid Qadir

Research Collection School Of Computing and Information Systems

In a multirate wireless network, a node can dynamically adjust its link transmission rate by switching between different modulation schemes. In the current IEEE802.11a/b/g standards, this rate adjustment is defined for unicast traffic only. In this paper, we consider a wireless mesh network (WMN), where a node can dynamically adjust its link-layer multicast rates to its neighbors, and address the problem of realizing low-latency network-wide broadcast in such a mesh. We first show that the multirate broadcast problem is significantly different from the single-rate case. We will then present an algorithm for achieving low-latency broadcast in a multirate mesh which …