Submissions from 1995
Nondermatoscopic Digital Imaging of Pigmented Lesions, William V. Stoecker, Randy Hays Moss, Fikret Erçal, and Scott E. Umbaugh
Constructing an Interval Temporal Logic for Real-time Systems, Grace Tsai, Matt Insall, and Bruce M. McMillin
Ensuring the Satisfaction of a Temporal Specification at Run-Time, Grace Tsai, Matt Insall, and Bruce M. McMillin
Submissions from 1994
Classification Characteristics of SOM and ART2, J. J. Aleshunas, Daniel C. St. Clair, and William E. Bond
A Fast Implementation of a Perfect Hash Function for Picture Objects, Sanjiv K. Bhatia and Chaman Sabharwal
Edge-Oriented Image Compression Technique using Edge Prediction and Classified Vector Quantization, Chiung Kuang Chow and Fikret Ercal
Computing Χ² Values, John F. Dooley, Daniel C. St Clair, and William E. Bond
Skin Cancer Diagnosis using Hierarchical Neural Networks and Fuzzy Systems, Fikret Erçal, Hsi-Chieh Lee, William V. Stoecker, and Randy Hays Moss
Neural Network Diagnosis of Malignant Melanoma from Color Images, Fikret Erçal, Hsi-Chieh Lee, William V. Stoecker, Randy Hays Moss, and Anurag Chawla
Skin Cancer Diagnosis using Hierarchical Neural Networks and Fuzzy Systems, Fikret Ercal, Hyoung-Koo Lee, William V. Stoecker, and Randy Hays Moss
Conjugating Polynomials on Finite Rings, Matt Insall, Lenore Mullin, and Ralph W. Wilkerson
An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes, Jun-Lin Liu, T.J. Sager, and Bruce M. McMillin
Permutation Lattices Revised, George Markowsky
Parameter Tuning for the MAX Expert System, Christopher J. Merz and M. J. Pazzani
PCB Inspection using Competitive Learning and Fuzzy Associative Memories, Madhav Moganti, Cihan H. Dagli, and Fikret Ercal
Neural Network Controller for Force Control in End Milling Operations, Q. Xu, K. Krishnamurthy, Wen Feng Lu, and Bruce M. McMillin
A Recursive Least Squares Training Algorithm for Multilayer Recurrent Neural Networks, Q. Xu, K. Krishnamurthy, Bruce M. McMillin, and Wen Feng Lu
Identification of Cutting Force in End Milling Operations Using Recurrent Neural Networks, Q. Xu, K. Krishnamurthy, Bruce M. McMillin, and Wen Feng Lu
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
