SelectedWorks - Ralph W. Wilkerson

Selected Works of Ralph W. Wilkerson

Professor Emeritus

Works
About

×

About Ralph W. Wilkerson

Present	Professor Emeritus, Missouri University of Science and Technology ‐ Computer Science
Institution Organization Position Type Position Title Time Period to Options Current Position Affiliate my profile with this Institution

Computer Sciences

SNDL-MOEA: "Stored Non-Domination Level MOEA"

Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation (2007, London, England) (2007)

Matt D. Johnson, Daniel R. Tauritz and Ralph W. Wilkerson

There exist a number of high-performance Multi-Objective Evolutionary Algorithms (MOEAs) for solving Multi-Objective Optimization (MOO) problems; two of the best ...

Evolutionary Computation Applied to Melody Generation

Intelligent Engineering Systems through Artificial Neural Networks (2004)

Matt D. Johnson, Daniel R. Tauritz and Ralph W. Wilkerson

One of the major goals in the field of computer generated music is capturing the intangible human perception which determines ...

Parallel Genetic Algorithm to Solve the Satisfiability Problem

Proceedings of the ACM Symposium on Applied Computing (1998)

Nicole Nemer-Preece and Ralph W. Wilkerson

This Paper Offers a Parallel Genetic Algorithm Solution to the Satisfiability Problem. It Combines Components of the Davis-Putnam Method and ...

Direct Finite First-Order Model Generation with Negative Constraint Propagation Heuristic

Proceedings of the ACM Symposium on Applied Computing (1997)

Olga Shumsky, Ralph W. Wilkerson, Fikret Ercal and William W. McCune

An Automated Finite First-Order Model Generator Has Been Developed. the Problem is Viewed as a First-Order Satisfiability Problem. Most Existing ...

R-By-C Crozzle: An NP-Hard Problem

Proceedings of the ACM Symposium on Applied Computing (1996)

Michelle Gower and Ralph W. Wilkerson

In an Australian Magazine, a Monetary Prize is Awarded to the Person with the Best Answer to a Word Puzzle ...

Using Fuzzy Set Theory: Exploring How Generalties Can Pinpoint Where ...

IEEE Potentials (1995)

Cosmin Radu and Ralph W. Wilkerson

Conjugating Polynomials on Finite Rings

Symposium on Applied Computing Proceedings (1994)

Matt Insall, Lenore Mullin and Ralph W. Wilkerson

Let R be a finite commutative ring, and let f : R ~ R. We call f a polynomial of ...

Subsumption in Modal Logic

Computer Science Technical Reports (1993)

Dirk Heydtmann and Ralph W. Wilkerson

Subsumption has long been known as a technique to detect redundant clauses in the search space of automated deduction systems ...

Cartographic Pattern Recognition using Template Matching

Computer Science Technical Reports (1993)

Angela G. Lammers, Ralph W. Wilkerson and Fikret Erçal

In creating digital maps from paper maps, the paper map must first be scanned to produce a raster image, and ...

Considerations for Rapidly Converging Genetic Algorithms Designed for Application to ...

Computer Science Technical Reports (1993)

Richard Patrick Rankin and Ralph W. Wilkerson

A genetic algorithm is a technique designed to search large problem spaces using the Darwinian concepts of evolution. Solution representations ...

A Hybrid Genetic Algorithm for an NP-Complete Problem with an ...

Proceedings of the ACM Symposium on Applied Computing (1993)

Richard Rankin, Ralph W. Wilkerson, Geoff Harris and Jo Spring

In This Paper, a Non-Standard Hybrid Genetic Algorithm is Presented. the Approach is Non-Standard in that It Violates Some of ...

Finding Fixed Point Combinators using Prolog

Proceedings of the ACM Symposium on Applied Computing (1993)

Richard Rankin and Ralph W. Wilkerson

A Powerful New Strategy, Called the Kernel Method, Has Been Developed by Larry Wos and William McCune at Argonne National ...

A Process-Learning PID Controller Algorithm Utilizing an On-Line Iterative Improvement ...

Computer Science Technical Reports (1992)

Ryan Rosandich and Ralph W. Wilkerson

Three iterative improvement algorithms are presented for the determination of process controller gains. An offline algorithm is developed and tested ...

Experimentation with Proof Methods for Non-Horn Sets

Applied Computing: Technological Challenges of the 1990's (1992)

Christopher J. Merz and Ralph W. Wilkerson

Two Resolution Proof Strategies Developed by Peterson Are Implemented by Modifying Otter, an Existing Automated Theorem Prover. the Methods, Lock-T ...

Proving Functionally Difficult Problems through Model Generation

Applied Computing: Technological Challenges of the 1990's (1992)

Richard Rankin and Ralph W. Wilkerson

Satchmo [MA88] is a Theorem Prover Implemented in Prolog Which Attempts to Provide Satisfiability Checking through Model Generation. This Paper ...

Termination Via Conditional Reductions

CSC 1991 - Proceedings of the 19th Annual Conference on Computer Science (1991)

Timothy B. Baird and Ralph W. Wilkerson

We Generalize the Notion of Rewriting Modulo an Equational Theory to Include a Special Form of Conditional Reduction. We Are ...

An Expert System to Convert Knowledge-Based Geological Engineering Systems into ...

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990 (1990)

Ralph W. Wilkerson and Jill J. Cress

A knowledge-based geographic information system (KBGIS) for geological engineering map (GEM) production was developed in GoldWorks, an expert system development ...

Experimentation with Large-Grained Parallelism using Local Area Networks

Proceedings of the 33rd Midwest Symposium on Circuits and Systems, 1990 (1990)

Ralph W. Wilkerson and Douglas E. Meyer

HIGHLAND, a distributed-memory parallel processing environment for heterogeneous local area networks, has been developed. Designed as both a teaching and ...

HIGHLAND: A Graph-Based Parallel Processing Environment for Heterogeneous Local Area ...

Proceedings of the Fifth Distributed Memory Computing Conference, 1990 (1990)

Ralph W. Wilkerson and Douglas E. Meyer

Role of Term Symmetry in E-Completion Procedures

ACM Eighteenth Annual Computer Science Conference (CSC90) (1990)

Ralph W. Wilkerson and Blayne E. Mayfield

Development of an Expert System to Convert Knowledge-based Geological Engineering ...

Computer Science Technical Reports (1989)

Jill J. Cress and Ralph W. Wilkerson

A knowledge-based geographic information system (KBGIS) for geological engineering map (GEM) production was developed in GoldWorks, an expert system development ...

A Correction to the Algorithm in Reiter's Theory of ...

Artificial Intelligence (1989)

Russell Greiner, Barbara A. Smith and Ralph W. Wilkerson

Reiter [3] Has Developed a General Theory of Diagnosis based on First Principles. His Algorithm Computes All Diagnoses Which Explain ...

Complete Sets of Reductions Modulo Associativity, Commutativity and Identity

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1989)

Timothy B. Baird, Gerald E. Peterson and Ralph W. Wilkerson

We Describe the Theory and Implementation of a Process Which Finds Complete Sets of Reductions Modulo Equational Theories Which Contain ...

Expectations for Associative-Commutative Unification Speedups in a Multicomputer Environment

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989. COMPSAC 89 (1989)

Ralph W. Wilkerson and Bruce M. McMillin

An essential element of automated deduction systems is unification algorithms which identify general substitutions and when applied to two expressions, ...

Fault Diagnosis Using First Order Logic Tools

Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 1989 (1989)

Ralph W. Wilkerson and Barbara A. Smith

An automated circuit diagnostic tool implementing R. Reiter's theory of diagnosis (1987) based on deep knowledge (i.e. knowledge based on ...