Digital Commons Network^™

On Elastic Nets And Correspondence In Motion With Homogeneous Deformation, Anupam Joshi, Chia-Hoang Lee

Department of Computer Science Technical Reports

No abstract provided.

Efficient Algorithms For Joint Density Approximations Of Discrete Independent Random Variables, Janche Sang, Vernon Rago, John Spragius

Department of Computer Science Technical Reports

No abstract provided.

Modeling Contacts In A Physically Based Simulation, William J. Bouma, George Vanĕček

Department of Computer Science Technical Reports

No abstract provided.

Abduction In Annotated Logic Programming, Krishnaprasad Thirunarayan

Kno.e.sis Publications

The author investigates techniques to make the logic programming paradigm more expressive for knowledge representation, while simultaneously retaining the computational advantages of efficiency and simplicity. He extends the annotated language of K. Thirunarayan and K. Kifer (1989) in various directions to obtain an enriched representation language. In particular, rule bodies are permitted to be a conjunction of literals, and the rules to be recursive. A class of annotated logic programs called the stratified programs is identified which can be given a unique supported minimal Herbrand model as their meaning. Abductive reasoning is integrated into this annotated logic framework. The notion …

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 8, Number 7, October 1992, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

On Correspondence, Line Tokens And Missing Tokens, Chia-Hoang Lee, Anupam Joshi

Department of Computer Science Technical Reports

No abstract provided.

The Visual Diagnosis On The Numerical Calculation Of Pde Problems, Yukio Umetani

Department of Computer Science Technical Reports

No abstract provided.

Finite Representations Of Real Parametric Curves And Surfaces, Chandrajit L. Bajaj, Andrew V. Royappa

Department of Computer Science Technical Reports

No abstract provided.

Experiments With Program Unification On The Cray Y-Mp, Ling-Yu Chuang, Vernon J. Rego, Aditya P. Mathur

Department of Computer Science Technical Reports

No abstract provided.

Backpropagation Learns Marr's Operator, Anupam Joshi, Chia-Hoang Lee

Department of Computer Science Technical Reports

No abstract provided.

On The Problem Of Correspondence In Range Data And Some Inelastic Uses For Elastic Nets, Anupam Joshi, Chia-Hoang Lee

Department of Computer Science Technical Reports

No abstract provided.

Effect Of The X² Test On Construction Of Id3 Decision Trees, Mayank Thakore, Daniel C. St. Clair

Computer Science Technical Reports

Inductive machine learning algorithms are knowledge-based learning algorithms which take training instances as input and produce knowledge as output. One popular induction algorithm is Quinlan's ID3 [1986]. This algorithm produces knowledge in the form of a decision tree. Each path in the tree can be interpreted as a rule with the leaves representing rule conclusions. Selected attributes which describe the training instances form the interior nodes of the tree.

The ID3 algorithm is extremely sensitive to noisy training data. In an effort to reduce the effects of noise on tree construction, Quinlan used the X² test to identify noisy …

Multiple-Length Division Revisited: A Tour Of The Minefield, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

Long division of natural numbers plays a crucial role in Cobol arithmetic, cryptography, and primality testing. Only a handful of textbooks discuss the theory and practice of long division, and none of them do it satisfactorily. This tutorial attempts to fill this surprising gap in the literature on computer algorithms. We illustrate the subtleties of long division by examples, define the problem concisely, summarize the theory, and develop a complete Pascal algorithm using a consistent terminology.

Parallel Cellular Automata: A Model Program For Computational Science, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

We develop a model program for parallel execution of cellular automata on a multicomputer. The model program is then adapted for simulation of forest fires and numerical solution of Laplace's equation for stationary heat flow. The performance of the parallel program is analyzed and measured on a Computing Surface configured as a matrix of transputers with distributed memory.

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 8, Number 6, September 1992, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

A Participants' Dss For A Management Game With A Dss Generator, G. K. Yeo, Fiona Fui-Hoon Nah

Research Collection School Of Computing and Information Systems

A decision support system for a management game has been built with emphasis on total model integration, easy database access, and efficient model building by participants themselves. A decision-support-system generator has been used to provide a wide range of modeling capabilities. This article describes its design principles and major features.

Award Fee In Software Acquisition, Mark T. Hunter

Theses and Dissertations

The focus of this research effort was to determine, in general terms, what contractual tools are available to influence contractor performance during the software development process and, specifically, whether or not award fee contracts are appropriate tools. First, a qualitative, in depth literature review was done. Next, personal interviews were conducted with Program Directors and Deputy Program Directors at Aeronautical Systems Center, Electronic Systems Center, and Space and Missiles Systems Center. Then, after the results were summarized, the data was analyzed and findings were made. Findings include: award fee was found to be the most flexible provision in the FAR …

Robust Display Of Arbitrary Rational Parametric Surfaces, Chandrajit L. Bajaj, Andrew V. Royappa

Department of Computer Science Technical Reports

No abstract provided.

Compact Suffix Trees Resemble Patricia Tries: Limiting Distribution Of Depth, Philippe Jacquet, Bonita Rais, Wojciech Szpankowski

Department of Computer Science Technical Reports

No abstract provided.

Computing The All-Pairs Longest Chains In The Plane, Mikhail J. Atallah, Danny Z. Chen

Department of Computer Science Technical Reports

No abstract provided.

Why That Expression Has This Type, And How It Got It, Mike Beaven

Department of Computer Science Technical Reports

No abstract provided.

Piecewise Rational Approximations Of Real Algebraic Curves, Chanderjit L. Bajaj, Guoliang Xu

Department of Computer Science Technical Reports

No abstract provided.

On Global Transaction Scheduling Criteria In Multidatabase Systems, Aidong Zhang, Ahmed K. Elmagarmid

Department of Computer Science Technical Reports

No abstract provided.

On Structure Features Of Global Transactions In Multidatabase Systems, Aidong Zhang, Jin Jing

Department of Computer Science Technical Reports

No abstract provided.

Text-Independent Automatic Speaker Identification Using Partitioned Neural Networks, Laszlo Rudasi

Electrical & Computer Engineering Theses & Dissertations

This dissertation introduces a binary partitioned approach to statistical pattern classification which is applied to talker identification using neural networks. In recent years artificial neural networks have been shown to work exceptionally well for small but difficult pattern classification tasks. However, their application to large tasks (i.e., having more than ten to 20 categories) is limited by a dramatic increase in required training time. The time required to train a single network to perform N-way classification is nearly proportional to the exponential of N. In contrast, the binary partitioned approach requires training times on the order of N². …

Parallel Monte Carlo Trials, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

The best results of Monte Carlo methods are generally obtained by performing the same computation many times with different random numbers. We develop a generic algorithm for parallel execution of Monte Carlo trials on a multicomputer. The generic algorithm has been adapted for simulated annealing and primality testing by simple substitutions of data types and procedures. The performance of the parallel algorithms was measured on a Computing Surface.

Primality Testing, Per Brinch Hansen

Electrical Engineering and Computer Science - Technical Reports

This tutorial describes the Miller-Rabin method for testing the primality of large integers. The method is illustrated by a Pascal algorithm. The performance of the algorithm was measured on a Computing Surface.

Design Of A Laboratory Computer Interface, Douglas L. Durand

Theses and Dissertations

An interface for the LSI-11 computer was designed and implemented so that the computer supports data acquisition, data reduction, and equipment control. The design includes both hardware and software and addresses both parallel and serial input/output (I/0). The serial interface's hardware is simply a Serial Line Unit card. This card plugs into the LSI-11 bus and provides the signals necessary to interface EIA RS-232 compatible devices. A software utility was developed to allow communication with the serial device and to allow exchange of data files. Routines were written to allow serial I/O through a FORTRAN program. The interface's parallel hardware …

An Application Of Program Unification To Priority Queue Vectorization, Ling-Yu Chuang, Vernon J. Rego, Aditya P. Mathur

Department of Computer Science Technical Reports

No abstract provided.

Future Research Directions In Problem Solving Environments For Computational Science, Stratis Gallopoulos, Elias N. Houstis, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.