Submissions from 1997
High-Order Object Model Based Software Analysis, Xiaoqing Frank Liu and Hungwen Lin
Capture Software Design Rationale based on an Integrated Analysis of Both Software Process and Product Quality Requirements from Multiple Perspectives, Xiaoqing Frank Liu and Scott Sigman
Feature-Based Representation and Indexing of Axisymmetric Parts in Machining Process Planning using Case-Based Reasoning, Wen F. Lu, Xiaoqing Frank Liu, Hsin Chi Chang, and Lijun Dong
A Concurrency Control Algorithm for an Open and Safe Nested Transaction Model, Sanjay Kumar Madria
Timestamp-Based Approach for the Detection and Resolution of Mutual Conflicts in Distributed Systems, Sanjay Kumar Madria
User Defined Prewrites for Increasing Concurrency in Design Databases, Sanjay Kumar Madria and A. Embong
An Introduction to Algorithmic Information Theory: Its History and Some Examples, George Markowsky
Image Databases and Near-Perfect Hash Table, Chaman Sabharwal and Sanjiv K. Bhatia
An Efficient Algorithm for Direct Computation of Adjacent Block Coefficients in the Transformed Domain, Chaman Sabharwal and Brian Quandt
Direct Finite First-Order Model Generation with Negative Constraint Propagation Heuristic, Olga Shumsky, Ralph W. Wilkerson, Fikret Ercal, and William W. McCune
Adaptive Information Filtering Using Evolutionary Computation, Daniel R. Tauritz, Joost N. Kok, and Ida G. Sprinkhuizen-Kuyper
Evolutionary Computation Applied to Adaptive Information Filtering, Daniel R. Tauritz, Ida G. Sprinkhuizen-Kuyper, and Joost N. Kok
Submissions from 1996
Near Perfect Hash Table for Image Databases, Sanjiv K. Bhatia and Chaman Sabharwal
Data Parallel Implementation of Surface-To-Surface Intersection, Terence M. Burke and Chaman Sabharwal
R-By-C Crozzle: An NP-Hard Problem, Michelle Gower and Ralph W. Wilkerson
A User Interface for the Visualization and Manipulation of Arrays, Jennifer Leopold and A. Ambler
Tuning Numeric Parameters to Troubleshoot a Telephone-Network Loop, Christopher J. Merz, M. J. Pazzani, and A. P. Danyluk
Automatic PCB Inspection Algorithms: A Survey, Madhav Moganti, Fikret Ercal, Cihan H. Dagli, and Shou Tsunekawa
Modular Approach to Automatic Printed Circuit Board Inspection, Madhav Moganti, Fikret Ercal, and Venkatkrishna Yellepeddy
Frequency Coordination Between Adjacent Carriers Of Two CDMA Operators, Seung Jong Park, Hun Bum Ha, Jong Tai Chung, Yoon Sub Shim, and Do Young Lee
MPEG Video Encoding - Parallelization and Optimal Performance, Brian Quandt and Chaman Sabharwal
Run-Time Security Evaluation: Can We Afford It?, Cristina Serban and Bruce M. McMillin
Run-Time Security Evaluation (RTSE) for Distributed Applications, Cristina Serban and Bruce M. McMillin
Adaptive Information Filtering as a Means to Overcome Information Overload, Daniel R. Tauritz
Concepts of Adaptive Information Filtering, Daniel R. Tauritz
Optimization of the Discriminatory Power of a Trigram Based Document Clustering Algorithm Using Evolutionary Computation, Daniel R. Tauritz
An Algorithm for Clustering Non-Deterministic Data, Charles Wittmaier and Chaman Sabharwal
A Systematic Tradeoff Methodology for Acquiring and Validating Imprecise Requirements, J. Yen, Xiaoqing Frank Liu, and W. A. Tiao
Object-Oriented Simulation: Reusability, Adaptability, Maintainability, George Winston Zobrist and James V. Leonard
Submissions from 1995
Using Taguchi''s Method of Experimental Design to Control Errors in Layered Perceptrons, William E. Bond, Gerald E. Peterson, Daniel C. St. Clair, and Stephen R. Aylward
FPGA based Reconfigurable Coprocessor Board Utilizing a Mathematics of Arrays, W. Eatherton, J. Kelly, T. Schiefelbein, Hardy J. Pottinger, Lenore Mullin, and R. Ziegler
An Efficient Multicomputer Algorithm for the Solution of Chemical Process Flowsheeting Equations, Fikret Ercal, Neil L. Book, S. Pait, and J. J. Fielding
Adaptive Resonance Theory (ART): An Introduction, Lucien G. Heins and Daniel R. Tauritz
Analytic Framework for Specifying and Analyzing Imprecise Requirements, Xiaoqing Frank Liu and John Yen
Force Control in Two-Dimensional End Milling Operations using Recurrent Neural Networks, Tao Luo, Q. Xu, K. Krishnamurthy, Wen Feng Lu, and Bruce M. McMillin
Relaxing Synchronization in Distributed Simulated Annealing, Bruce M. McMillin and Chul-Eui Hong
Automatic PCB Inspection Systems, M. Moganti and Fikret Erçal
Using Neural Networks for Aerodynamic Parameter Modeling, Gerald E. Peterson, William E. Bond, Roger Germann, Barry Streeter, and James Urnes
Hardware Assists for High Performance Computing using a Mathematics of Arrays, Hardy J. Pottinger, W. Eatherton, J. Kelly, T. Schiefelbein, Lenore Mullin, and R. Ziegler
Using Fuzzy Set Theory: Exploring How Generalties Can Pinpoint Where to Look for the Answers, Cosmin Radu and Ralph W. Wilkerson
Perfect Hash Table Algorithm for Image Databases using Negative Associated Values, Chaman Sabharwal and Sanjiv K. Bhatia
An Inferencing Language for Automated Spatial Reasoning About Graphic Entities, Paul Scarponcini, Daniel C. St. Clair, and George W. Zobrist
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
