Physical Sciences and Mathematics Commons^™

Implementation Of Speech Recognition Software For Text Processing: An Exploratory Analysis, Sean P. Abell

Theses and Dissertations

The rationale behind implementing new information technologies is often to gain productivity improvements associated with the substitution of machinery for labor. However, the literature shows little direct evidence of a positive relationship between information technology investment and subsequent productivity benefits. This thesis reports on the examination into the productivity implications of implementing speech recognition software in a text processing environment. More specifically, research was conducted to compare text processing speeds and error rates using speech recognition software versus the keyboard and mouse. Of interest was the time required to input and proofread text processing tasks as well as the number …

What Is Y2k And How Did The University Of Nevada System Solve It?, Diane R. Dietrich

UNLV Theses, Dissertations, Professional Papers, and Capstones

The turn of the century change from 1999 to 2000 will create chaos for the world's computer systems. This paper will discuss the causes of the Y2K problem, the reaction to this problem by the University of Nevada System Computer Services and possible repercussions of this problem for Nevada, the United States and the world.

Formal Representation And Application Of Software Design Information, Thomas M. Schorsch

Theses and Dissertations

Formal methods for developing software use mathematical frameworks to specify, develop and verify software systems, especially safety critical systems where error free software is a necessity. A transformation system is a formal method that refines a requirement specification into an implementation by successively adding design decisions in the form of precisely verified design information. Current algebraic representations of design information (specifications, morphisms, and interpretations) and methods for applying algebraic specification design information (diagram refinement) cannot correctly represent and apply design information involving higher level design information. This investigation develops innovative methods for constructing and refining structured algebraic requirement specifications, as …

A Family Of Hierarchical Encoding Techniques For Image And Video Communications, Samah A. Senbel

Computer Science Theses & Dissertations

As the demand for image and video transmission and interactive multimedia applications continues to grow, scalable image and video compression that has robust behavior over unreliable channels are of increasing interest. These desktop applications require scalability as a main feature due to its heterogeneous nature, since participants in an interactive multimedia application have different needs and processing power. Also, the encoding and decoding algorithm complexity must be low due to the practical considerations of low-cost low-power receiver terminals. This requires image and video encoding techniques that jointly considers compression, scalability, robustness, and simplicity.

In this dissertation, we present a family …

Routing And Caching Mechanisms For Mobile Ip Networks, Baher Ali Esmat

Archived Theses and Dissertations

No abstract provided.

The Open Source Revolution: Transforming The Software Industry With Help From The Government, Mitchell L. Stoltz

Pomona Senior Theses

A new method for making software is stealthily gaining ground in the computer industry, offering a promise of better, cheaper software and the empowerment of the user. The open source movement could revolutionize the software industry...if it succeeds. Open source means software that you are allowed to copy, modify, and give to friends. Source code , the lists of instructions which tell computers how to run, is readily available, allowing you to look inside the workings of a program and change it to suit your needs. A group of programmers, companies, users, and activists have gathered in support of this …

An Interactive Tool For Refining Software Specifications From A Formal Domain Model, Gary L. Anderson

Theses and Dissertations

This work examines the process for refining a software specification from a formal object-oriented domain model. This process was implemented with interactive software to demonstrate the feasibility and benefits of automating what has been a tedious and often error-prone manual task. The refinement process operates within the framework of a larger Knowledge-Based Software Engineering system. A generic object-oriented representation is used to store a domain model, which allows the specification tool to access, select, and manipulate the required objects to form a customized specification. The specification is also stored as an object-oriented model, which in turn can be accessed by …

Transforming Aggregate Object-Oriented Formal Specifications To Code, John A. Kissack

Theses and Dissertations

The feasibility of a transformational formal-based software engineering tool has been the focus of AFIT research for several years. Until now, the main research emphasis has been placed on the individual components that would comprise such a transformational system; therefore, this research demonstrates how a representative collection of aggregate objects would be transformed from specification to code. The research focused on critical integration issues associated with a formal-based software transformation system, such as the source specification, the problem space architecture, design architecture, design transforms, and target software transforms. Software is critical in today's Air Force, yet its specification, design, and …

Design And Code Generation Concepts For Statechart Diagrams Of The Uml V1.1 In Concurrent Environments, Pierre Metz

Theses

This thesis deals with code generation concepts for the statechart diagrams of the UML vl.l. It explores implementation approaches for mapping statechart diagrams to code. It also focuses on modelling rules for consistent design of dynamic object behaviour. Most of the given object-oriented (00) methods have statechart diagrams as their centre. It is proposed to use statechart diagrams to model the internal behaviour of objects and lifecycles, respectively. Generally, statechart diagrams are used in the area of analysis and design of reactive systems such as realtime- and embedded-systems. This thesis introduces different existing implementation patterns and shows how they can …

Training Methods For Shunting Inhibitory Artificial Neural Networks, Son Lam Phung

Theses : Honours

This project investigates a new class of high-order neural networks called shunting inhibitory artificial neural networks (SIANN's) and their training methods. SIANN's are biologically inspired neural networks whose dynamics are governed by a set of coupled nonlinear differential equations. The interactions among neurons are mediated via a nonlinear mechanism called shunting inhibition, which allows the neurons to operate as adaptive nonlinear filters. The project's main objective is to devise training methods, based on error backpropagation type of algorithms, which would allow SIANNs to be trained to perform feature extraction for classification and nonlinear regression tasks. The training algorithms developed will …

Light Aircraft Management System, Evan Karjalainen

Theses : Honours

This report details methods to construct a flight data logging system that can be used to manage student flight and aircraft maintenance records. These methods utilise GPS, embedded processors and associated software to depict the occurrence of landings, "Touch and Goes" and record aircraft total flight time. By manipulating these methods it was possible to produce a usable data-logging unit which facilitated the automation of flight maneuver recording. This datatogging unit was constructed from embedded components and interfaced with a user defined database. Perusal of the details within should provide the reader with a clear understanding of the tasks involved …

Software Quality Function Deployment : A Method For Building Better Software, Dean Carruthers

Theses : Honours

In recent years it is becoming increasingly more apparent that quality even more than productivity is emerging as the key issue in the development of software. The quality systems currently employed by most software companies however arc simply not up to the task, traditional quality systems focus upon conformance to company standards, automation to eliminate human error and in some cases quality improvement teams. These traditional quality assurance methods lead to quality as defined from the organizations point of view, all work performed is done to their standards, however a what it is that makes a quality product is defined …

Implementing Flexible Software Techniques In A 4gl Environment, Stephen O'Connor

Theses : Honours

Today more IT professionals arc employed on the maintenance of existing software applications than are employed to develop new systems. Why is there such a need for this maintenance? Part of the problem is that developers have traditionally seen system requirements as fixed from the time they have been 'signed off. In reality requirements arc dynamic and subject to change as an organisation's environment changes. Flexible software techniques recognise that software requirements are subject to future changes. Flexibility is seen as an important design goal criterion with "true" or "strong" flexibility implying that an application's behaviour can be altered without …

Embed[D]Ed Zerotree Codec, Karma Wangdi

Theses : Honours

This thesis discusses the findings of the final year project involving the VHDL (V= Very High Speed Integrated Circuit, Hardware Description Language) design and simulation of an EZT (Embedded Zero Tree) codec. The basis of image compression and the various image compression techniques that are available today have been explored. This provided a clear understanding of image compression as a whole. An in depth understanding of wavelet transform theory was vital to the understanding of the edge that this transform provides over other transforms for image compression. Both the mathematics of it and how it is implemented using sets of …

Websearch: A Configurable Parallel Multi-Search Web Browser, Jason Lin

Theses Digitization Project

No abstract provided.