Follow


Submissions from 1995

PDF

Ensuring the Satisfaction of a Temporal Specification at Run-Time, Grace Tsai, Matt Insall, and Bruce M. McMillin

Submissions from 1994

Skin Cancer Diagnosis using Hierarchical Neural Networks and Fuzzy Systems, Fikret Erçal, Hsi-Chieh Lee, William V. Stoecker, and Randy Hays Moss

PDF

Neural Network Diagnosis of Malignant Melanoma from Color Images, Fikret Erçal, Hsi-Chieh Lee, William V. Stoecker, Randy Hays Moss, and Anurag Chawla

Link

Conjugating Polynomials on Finite Rings, Matt Insall, Lenore Mullin, and Ralph W. Wilkerson

PDF

An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes, Jun-Lin Liu, T.J. Sager, and Bruce M. McMillin

Link

Permutation Lattices Revised, George Markowsky

PDF

Parameter Tuning for the MAX Expert System, Christopher J. Merz and M. J. Pazzani

Neural Network Controller for Force Control in End Milling Operations, Q. Xu, K. Krishnamurthy, Wen Feng Lu, and Bruce M. McMillin

PDF

A Recursive Least Squares Training Algorithm for Multilayer Recurrent Neural Networks, Q. Xu, K. Krishnamurthy, Bruce M. McMillin, and Wen Feng Lu

PDF

Identification of Cutting Force in End Milling Operations Using Recurrent Neural Networks, Q. Xu, K. Krishnamurthy, Bruce M. McMillin, and Wen Feng Lu

Link

Toward a Fuzzy-Logic Based Formal-Approach for Specifying Imprecise Requirements, J. Yen, J. Lee, and Xiaoqing Frank Liu

PDF

A Fuzzy Logic-Based Foundation for Analyzing Imprecise Conflicting Requirements, J. Yen and Xiaoqing Frank Liu

Submissions from 1993

Link

Boundary Detection And Color Segmentation In Skin Tumor Images, F. (Fikret) Ercal, M. Moganti, William V. Stoecker, and Randy Hays Moss

PDF

Detection of Skin Tumor Boundaries in Color Images, Fikret Erçal, M. Moganti, William V. Stoecker, and Randy Hays Moss

PDF

Dynamic ID3: A Symbolic Learning Algorithm For Many-valued Attribute Domains, Roger Gallion, Chaman Sabharwal, Daniel C. St. Clair, and William E. Bond

Link

Formal Derivation Of An Error-detecting Distributed Data Scheduler Using Changeling, Hanan Lutfiyya, Bruce M. McMillin, and Alan Su

PDF

Formal Method For Scheduling, Routing And Communication Protocol, Lenore Mullin, S. A. Thibault, D. R. Dooling, and E. A. Sandberg

PDF

Functional Representation and Reasoning About the F/A-18 Aircraft Fuel System, M. Pegah, J. Sticklen, and William E. Bond

PDF

Finding Fixed Point Combinators using Prolog, Richard Rankin and Ralph W. Wilkerson

PDF

A Hybrid Genetic Algorithm for an NP-Complete Problem with an Expensive Evaluation Function, Richard Rankin, Ralph W. Wilkerson, Geoff Harris, and Jo Spring

PDF

An Intelligent Approach To Discrete Sampling Of Parametric Curves, Chaman Sabharwal

PDF

Recovering 3D Image Parameters From Corresponding Two 2D Images, Chaman Sabharwal

Link

Design Techniques For The Control Of Errors In Backpropagation Neural Networks, Daniel C. St Clair, Gerald Peterson, Stephen Aylward, and William E. Bond

Link

Parallel Implementation of a Recursive Least-Squares Neural Network Training Method on the Intel iPSC/2, James Edward Steck, Bruce M. McMillin, K. Krishnamurthy, and Gary G. Leininger

Ensuring Value Liveness of Distributed Software Through Changeling, Grace Tsai, Matt Insall, and Bruce M. McMillin

PDF

An Optoelectronic Implementation of the Adaptive Resonance Neural Network, Donald C. Wunsch, T. P. Caudell, R. J. Marks, R. A. Falk, and C. David Capps

Submissions from 1992

Link

DAWGS-A Distributed Compute Server Utilizing Idle Workstations, Henry Clark and Bruce M. McMillin

Diagnosing Malignant Melanoma using a Neural Network, Fikret Erçal, Anurag Chawla, William V. Stoecker, and Randy Hays Moss

Link

SMILI: Visualization Of Asynchronous Massively Parallel Programs, Rashi Khanna and Bruce M. McMillin

PDF

Composite Stock Cutting Through Simulated Annealing, Hanan Lutfiyya, Bruce M. McMillin, Pipatpong Poshyanonda, and Cihan H. Dagli

PDF

Fault-tolerant Concurrent Branch And Bound Algorithms Derived From Program Verification, Hanan Lutfiyya, Aggie Sun, and Bruce M. McMillin

Link

Ordering D-Classes and Computing Schein Rank Is Hard, George Markowsky

Link

Primes, Irreducibles and Extremal Lattices, George Markowsky

Link

Phage Typing Sets, George Markowsky, Melvin Gershman, and Jacqueline A. Hunter

PDF

Parallel Error Tolerance Scheme Based on the Hill Climbing Nature of Simulated Annealing, Bruce M. McMillin and Chul-Eui Hong

PDF

SeMi-Supervised Adaptive Resonance Theory (SMART2), Christopher J. Merz, William E. Bond, and Daniel C. St. Clair

PDF

Experimentation with Proof Methods for Non-Horn Sets, Christopher J. Merz and Ralph W. Wilkerson

PDF

Proving Functionally Difficult Problems through Model Generation, Richard Rankin and Ralph W. Wilkerson

Link

Modeling of Supersonic Combustor Flows Using Parallel Computing, David W. Riggins, M. Underwood, Bruce M. McMillin, L. Reeves, and Lu E. Jui-Lin

PDF

Formation Of Clusters And Resolution Of Ordinal Attributes In ID3 Classification Trees, Chaman Sabharwal, Keith R. Hacke, and Daniel C. St. Clair

Link

Evaluation Of Learning Performance In Backpropagation Neural Networks And Decision-tree Classifier Systems, Daniel C. St. Clair, William E. Bond, A. K. Rigler, and Steve Aylward

PDF

Neural Modeling and Control of a Distillation Column, James Edward Steck, K. Krishnamurthy, Bruce M. McMillin, and Gary G. Leininger

Submissions from 1991

PDF

Termination Via Conditional Reductions, Timothy B. Baird and Ralph W. Wilkerson

Link

Undergraduate Research Experiences In Parallel Processing, Billy E. Gillett and John Bruce Prater

PDF

Fault-tolerant Parallel Matrix Multiplication With One Iteration Fault Detection Latency, Chul Eui Hong and Bruce M. McMillin

PDF

Simulating Adaptive Load Sharing Policies On An IPSC/2 Multicomputer, Yuh Jong Hu and Billy E. Gillett

PDF

A Visualization Model For Massively Parallel Algorithms, Rashi Khanna and Bruce M. McMillin

Link

Bounding Fault Detection Probabilities in Combinational Circuits, George Markowsky

PDF

Pattern Recognition for Nondestructive Evaluation, S. Morris, P. O'Rorke, William E. Bond, M. M. Amirfathi, and Daniel C. St. Clair

Link

Machine Learning For Nondestructive Evaluation, Paul O'Rorke, Steven Morris, Michael Amirfathi, William E. Bond, and Daniel C. St Clair

PDF

Functional Reasoning and Functional Modelling, J. Sticklen and William E. Bond

PDF

A Model-Based Approach for Organizing Quantitative Computations, J. Sticklen, A. Kamel, and William E. Bond

Submissions from 1990

PDF

DAWGS - A Distributed Compute Server Utilizing Idle Workstations, Henry Clark and Bruce M. McMillin

PDF

Distributed Evaluation of an Iterative Function for All Object Pairs on a SIMD Hypercube, Fikret Erçal

Link

Teaching Note Computing, Statistics, And The Lottery, John Wesley Hamblen

PDF

Experimental Comparison Of Bidding And Drafting Load Sharing Protocols, Andrew Ross and Bruce M. McMillin

PDF

Computational Intelligence In CAD/CAM Applications, Chaman Sabharwal, Thomas G. Melson, and Martin D. Fraser

PDF

Parallel Implementation of a Recursive Least Squares Neural Network Training Method on the Intel IPSC/2, James Edward Steck, Bruce M. McMillin, K. Krishnamurthy, M. Reza Ashouri, and Gary G. Leininger

PDF

An Expert System to Convert Knowledge-Based Geological Engineering Systems into Fortran, Ralph W. Wilkerson and Jill J. Cress

PDF

Role of Term Symmetry in E-Completion Procedures, Ralph W. Wilkerson and Blayne E. Mayfield

PDF

Experimentation with Large-Grained Parallelism using Local Area Networks, Ralph W. Wilkerson and Douglas E. Meyer

PDF

HIGHLAND: A Graph-Based Parallel Processing Environment for Heterogeneous Local Area Networks, Ralph W. Wilkerson and Douglas E. Meyer

Submissions from 1989

Link

Complete Sets of Reductions Modulo Associativity, Commutativity and Identity, Timothy B. Baird, Gerald E. Peterson, and Ralph W. Wilkerson

PDF

A Definition Optimization Technique Used In A Code Translation Algorithm, David M. DeJean and George Winston Zobrist

Link

A Correction to the Algorithm in Reiter's Theory of Diagnosis, Russell Greiner, Barbara A. Smith, and Ralph W. Wilkerson

Link

Computer Manpower: Through 1984–1985, John Wesley Hamblen

PDF

Safe Computing, Bruce M. McMillin and T. L. Casavant

PDF

Personal Computing for the Visually Impaired, Bruce M. McMillin and P. Y. McMillin

PDF

Reliable Distributed Sorting Through the Application-oriented Fault Tolerance Paradigm, Bruce M. McMillin and L. M. Ni

PDF

Expectations for Associative-Commutative Unification Speedups in a Multicomputer Environment, Ralph W. Wilkerson and Bruce M. McMillin

PDF

Fault Diagnosis Using First Order Logic Tools, Ralph W. Wilkerson and Barbara A. Smith

Submissions from 1988

Link

A Parallel Integer Linear Programming Algorithm, Rochelle L. Boehning, Ralph M. Butler, and Billy E. Gillett

Link

Learning Probabilistic Prediction Functions, Alfredo De Santis, George Markowsky, and Mark N. Wegman

PDF

An Inherently Parallel Large Grained Data Flow Environment, Roger E. Eggen and John R. Metzner

Link

Phage Typing Set for Differentiating staphylococcus epidermidis, Melvin Gershman, Jacqueline A. Hunter, Robert J. Harmon, R. A. Wilson, and George Markowsky

PDF

Executable Assertion Development for the Distributed Parallel Environment, Bruce M. McMillin and L. M. Ni

PDF

Implementation Of Cross Intersection Between Triangular Surfaces, Chaman Sabharwal and Thomas G. Melson

PDF

Automated Circuit Diagnosis using First Order Logic Tools, Barbara Smith, Ralph W. Wilkerson, Gerald E. Peterson, and McDonnell Douglas

Submissions from 1987

PDF

A Logic Programming Model of the Game of Sprouts, Ralph M. Butler, Selden Y. Trimble, and Ralph W. Wilkerson

PDF

A Logic Programming Model of the Game of Sprouts, Ralph M. Butler, Selden Y. Trimble, and Ralph W. Wilkerson

Link

Bounding Signal Probabilities in Combinational Circuits, George Markowsky

PDF

A Routing Algorithm for Three Stage Rearrangeable Clos Networks, Ralph W. Wilkerson

Submissions from 1986

PDF

Lexical Analysis Using Table Look-up, Brian Keith Smith, Dominic Soda, and George Winston Zobrist

PDF

PROLOG., Ralph W. Wilkerson

Submissions from 1985

PDF

Method and Apparatus for Performing Hashing Operations using Galois Field Multiplication, John L. Carter, George Markowsky, and Mark N. Wegman

Submissions from 1984

Link

Reduced Set of Phages for Typing escherichia coli, Melvin Gershman, George Markowsky, and Jacqueline A. Hunter

Link

Why Computer-based Education Is Making Slow Progress: An Analysis Of Costs And Other Impediments, Jesse H. Poore and John Wesley Hamblen

Link

Symbolic Computation and the Dirichlet Problem, Ralph W. Wilkerson

Submissions from 1983

Class of Easily Implemented Hash Functions, Larry J. Carter, George Markowsky, and Mark N. Wegman

Link

On Sets of Boolean n-Vectors with All k-Projections Surjective, Ashok K. Chandra, Lawrence T. Kou, George Markowsky, and Shmuel Zaks

PDF

Reduced Set of Phages for Typing Salmonellae, Melvin Gershman and George Markowsky

Link

Extending Semilattices Is Hard, George Markowsky

Link

Necessary and Sufficient Conditions for a Phenotype System to Have a Factor-Union Representation, George Markowsky

Link

Identifying Antigens and Antibodies in Serology, George Markowsky and Andrew Wohlgemuth

Link

Intersection-Union Systems, George Markowsky and Andrew Wohlgemuth

Link

Mathematical Immunogenetics II. Antibody Incidence Structure, George Markowsky and Andrew Wohlgemuth

PDF

Proportional Advancement From Regional Programming Contests, John R. Metzner

Link

Improvement Of Basic Mathematical Skills With Plato: An Experiment, J. H. Poore and J. (John) W. (Wesley) Hamblen

Link

Mathematical Immunogenetics I. Mathematics as Language, Andrew Wohlgemuth and George Markowsky

Submissions from 1982

PDF

An Approximation Theory for Conjugate Surfaces and Solutions of Elliptic Multiple Integral Problems: Application to Numerical Solutions of Generalized Laplace's Equation, John Gregory and Ralph W. Wilkerson