Submissions from 1994
Toward a Fuzzy-Logic Based Formal-Approach for Specifying Imprecise Requirements, J. Yen, J. Lee, and Xiaoqing Frank Liu
A Fuzzy Logic-Based Foundation for Analyzing Imprecise Conflicting Requirements, J. Yen and Xiaoqing Frank Liu
Submissions from 1993
Boundary Detection And Color Segmentation In Skin Tumor Images, F. (Fikret) Ercal, M. Moganti, William V. Stoecker, and Randy Hays Moss
Detection of Skin Tumor Boundaries in Color Images, Fikret Erçal, M. Moganti, William V. Stoecker, and Randy Hays Moss
Dynamic ID3: A Symbolic Learning Algorithm For Many-valued Attribute Domains, Roger Gallion, Chaman Sabharwal, Daniel C. St. Clair, and William E. Bond
Formal Derivation Of An Error-detecting Distributed Data Scheduler Using Changeling, Hanan Lutfiyya, Bruce M. McMillin, and Alan Su
Formal Method For Scheduling, Routing And Communication Protocol, Lenore Mullin, S. A. Thibault, D. R. Dooling, and E. A. Sandberg
Functional Representation and Reasoning About the F/A-18 Aircraft Fuel System, M. Pegah, J. Sticklen, and William E. Bond
Finding Fixed Point Combinators using Prolog, Richard Rankin and Ralph W. Wilkerson
A Hybrid Genetic Algorithm for an NP-Complete Problem with an Expensive Evaluation Function, Richard Rankin, Ralph W. Wilkerson, Geoff Harris, and Jo Spring
An Intelligent Approach To Discrete Sampling Of Parametric Curves, Chaman Sabharwal
Recovering 3D Image Parameters From Corresponding Two 2D Images, Chaman Sabharwal
Design Techniques For The Control Of Errors In Backpropagation Neural Networks, Daniel C. St Clair, Gerald Peterson, Stephen Aylward, and William E. Bond
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
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
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
SMILI: Visualization Of Asynchronous Massively Parallel Programs, Rashi Khanna and Bruce M. McMillin
Composite Stock Cutting Through Simulated Annealing, Hanan Lutfiyya, Bruce M. McMillin, Pipatpong Poshyanonda, and Cihan H. Dagli
Fault-tolerant Concurrent Branch And Bound Algorithms Derived From Program Verification, Hanan Lutfiyya, Aggie Sun, and Bruce M. McMillin
Ordering D-Classes and Computing Schein Rank Is Hard, George Markowsky
Primes, Irreducibles and Extremal Lattices, George Markowsky
Phage Typing Sets, George Markowsky, Melvin Gershman, and Jacqueline A. Hunter
Parallel Error Tolerance Scheme Based on the Hill Climbing Nature of Simulated Annealing, Bruce M. McMillin and Chul-Eui Hong
SeMi-Supervised Adaptive Resonance Theory (SMART2), Christopher J. Merz, William E. Bond, and Daniel C. St. Clair
Experimentation with Proof Methods for Non-Horn Sets, Christopher J. Merz and Ralph W. Wilkerson
Proving Functionally Difficult Problems through Model Generation, Richard Rankin and Ralph W. Wilkerson
Modeling of Supersonic Combustor Flows Using Parallel Computing, David W. Riggins, M. Underwood, Bruce M. McMillin, L. Reeves, and Lu E. Jui-Lin
Formation Of Clusters And Resolution Of Ordinal Attributes In ID3 Classification Trees, Chaman Sabharwal, Keith R. Hacke, and Daniel C. St. Clair
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
Neural Modeling and Control of a Distillation Column, James Edward Steck, K. Krishnamurthy, Bruce M. McMillin, and Gary G. Leininger
Submissions from 1991
Termination Via Conditional Reductions, Timothy B. Baird and Ralph W. Wilkerson
Undergraduate Research Experiences In Parallel Processing, Billy E. Gillett and John Bruce Prater
Fault-tolerant Parallel Matrix Multiplication With One Iteration Fault Detection Latency, Chul Eui Hong and Bruce M. McMillin
Simulating Adaptive Load Sharing Policies On An IPSC/2 Multicomputer, Yuh Jong Hu and Billy E. Gillett
A Visualization Model For Massively Parallel Algorithms, Rashi Khanna and Bruce M. McMillin
Bounding Fault Detection Probabilities in Combinational Circuits, George Markowsky
Pattern Recognition for Nondestructive Evaluation, S. Morris, P. O'Rorke, William E. Bond, M. M. Amirfathi, and Daniel C. St. Clair
Machine Learning For Nondestructive Evaluation, Paul O'Rorke, Steven Morris, Michael Amirfathi, William E. Bond, and Daniel C. St Clair
Functional Reasoning and Functional Modelling, J. Sticklen and William E. Bond
A Model-Based Approach for Organizing Quantitative Computations, J. Sticklen, A. Kamel, and William E. Bond
Submissions from 1990
DAWGS - A Distributed Compute Server Utilizing Idle Workstations, Henry Clark and Bruce M. McMillin
Distributed Evaluation of an Iterative Function for All Object Pairs on a SIMD Hypercube, Fikret Erçal
Teaching Note Computing, Statistics, And The Lottery, John Wesley Hamblen
Experimental Comparison Of Bidding And Drafting Load Sharing Protocols, Andrew Ross and Bruce M. McMillin
Computational Intelligence In CAD/CAM Applications, Chaman Sabharwal, Thomas G. Melson, and Martin D. Fraser
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
An Expert System to Convert Knowledge-Based Geological Engineering Systems into Fortran, Ralph W. Wilkerson and Jill J. Cress
Role of Term Symmetry in E-Completion Procedures, Ralph W. Wilkerson and Blayne E. Mayfield
Experimentation with Large-Grained Parallelism using Local Area Networks, Ralph W. Wilkerson and Douglas E. Meyer
HIGHLAND: A Graph-Based Parallel Processing Environment for Heterogeneous Local Area Networks, Ralph W. Wilkerson and Douglas E. Meyer
Submissions from 1989
Complete Sets of Reductions Modulo Associativity, Commutativity and Identity, Timothy B. Baird, Gerald E. Peterson, and Ralph W. Wilkerson
A Definition Optimization Technique Used In A Code Translation Algorithm, David M. DeJean and George Winston Zobrist
A Correction to the Algorithm in Reiter's Theory of Diagnosis, Russell Greiner, Barbara A. Smith, and Ralph W. Wilkerson
Computer Manpower: Through 1984–1985, John Wesley Hamblen
Safe Computing, Bruce M. McMillin and T. L. Casavant
Personal Computing for the Visually Impaired, Bruce M. McMillin and P. Y. McMillin
Reliable Distributed Sorting Through the Application-oriented Fault Tolerance Paradigm, Bruce M. McMillin and L. M. Ni
Expectations for Associative-Commutative Unification Speedups in a Multicomputer Environment, Ralph W. Wilkerson and Bruce M. McMillin
Fault Diagnosis Using First Order Logic Tools, Ralph W. Wilkerson and Barbara A. Smith
Submissions from 1988
A Parallel Integer Linear Programming Algorithm, Rochelle L. Boehning, Ralph M. Butler, and Billy E. Gillett
Learning Probabilistic Prediction Functions, Alfredo De Santis, George Markowsky, and Mark N. Wegman
An Inherently Parallel Large Grained Data Flow Environment, Roger E. Eggen and John R. Metzner
Phage Typing Set for Differentiating staphylococcus epidermidis, Melvin Gershman, Jacqueline A. Hunter, Robert J. Harmon, R. A. Wilson, and George Markowsky
Executable Assertion Development for the Distributed Parallel Environment, Bruce M. McMillin and L. M. Ni
Implementation Of Cross Intersection Between Triangular Surfaces, Chaman Sabharwal and Thomas G. Melson
Automated Circuit Diagnosis using First Order Logic Tools, Barbara Smith, Ralph W. Wilkerson, Gerald E. Peterson, and McDonnell Douglas
Submissions from 1987
A Logic Programming Model of the Game of Sprouts, Ralph M. Butler, Selden Y. Trimble, and Ralph W. Wilkerson
A Logic Programming Model of the Game of Sprouts, Ralph M. Butler, Selden Y. Trimble, and Ralph W. Wilkerson
Bounding Signal Probabilities in Combinational Circuits, George Markowsky
A Routing Algorithm for Three Stage Rearrangeable Clos Networks, Ralph W. Wilkerson
Submissions from 1986
Lexical Analysis Using Table Look-up, Brian Keith Smith, Dominic Soda, and George Winston Zobrist
PROLOG., Ralph W. Wilkerson
Submissions from 1985
Method and Apparatus for Performing Hashing Operations using Galois Field Multiplication, John L. Carter, George Markowsky, and Mark N. Wegman
Submissions from 1984
Reduced Set of Phages for Typing escherichia coli, Melvin Gershman, George Markowsky, and Jacqueline A. Hunter
Why Computer-based Education Is Making Slow Progress: An Analysis Of Costs And Other Impediments, Jesse H. Poore and John Wesley Hamblen
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
On Sets of Boolean n-Vectors with All k-Projections Surjective, Ashok K. Chandra, Lawrence T. Kou, George Markowsky, and Shmuel Zaks
Reduced Set of Phages for Typing Salmonellae, Melvin Gershman and George Markowsky
Extending Semilattices Is Hard, George Markowsky
Necessary and Sufficient Conditions for a Phenotype System to Have a Factor-Union Representation, George Markowsky
Identifying Antigens and Antibodies in Serology, George Markowsky and Andrew Wohlgemuth
Intersection-Union Systems, George Markowsky and Andrew Wohlgemuth
Mathematical Immunogenetics II. Antibody Incidence Structure, George Markowsky and Andrew Wohlgemuth
Proportional Advancement From Regional Programming Contests, John R. Metzner
Improvement Of Basic Mathematical Skills With Plato: An Experiment, J. H. Poore and J. (John) W. (Wesley) Hamblen
Mathematical Immunogenetics I. Mathematics as Language, Andrew Wohlgemuth and George Markowsky
Submissions from 1982
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
A Theory Of Small Program Complexity, Kenneth I. Magel
The Subjective Nature Of Programming Complexity, Daniel G. McNicholl and Kenneth I. Magel
Generating An Autocorrelated Sequence Of Random Variates Without Distorting Their Distribution, John R. Metzner
Selecting Uniform Populations Using Type Ii Censored Data, J. (Jagdish) K. Patel and Kenneth I. Magel
Parametric Integer Linear Programming: A Synthesis Of Branch And Bound With Cutting Planes, Suzanne L.K. Rountree and Billy E. Gillett
Linear Maps of Holomorphic Functions on Commutative Algebras, Ralph W. Wilkerson
Submissions from 1981
The Weighted Syndrome Sums Approach to VLSI Testing, Zeev Barzilai, Jacob Savir, George Markowsky, and Merlin G. Smith
VLSI Self-Testing Based on Syndrome Techniques, Zeev Barzilai, Jacob Savir, George Markowsky, and Merlin G. Smith
Use Of Interactive Computer Graphics To Solve Routing Problems, Billy E. Gillett and J. L. Lawrence
New Numerical Algorithms for Eigenvalues and Eigenvectors of Second Order Differential Equations, John Gregory and Ralph W. Wilkerson