From: kfw@ecrc.de (Kam-Fai Wong)
Subject: ACM SAC93 preliminary programme
Keywords: applied computing
Organization: European Computer-Industry Research Centre GmbH, Munich, Germany
Date: Wed, 30 Dec 1992 08:16:46 GMT

	
	
	
	
	
	
	  *******************************************************
	  *                                                     *
	  *     SYMPOSIUM ON APPLIED COMPUTING (SAC '93)        *
	  *                                                     *
	  *  Indiana Convention Center, Indianapolis, Indiana   *
	  *               February 14-16, 1993                  *
	  *******************************************************
	
	
	                    Preliminary  Program
	                    ====================
	
	
	
	CONFERENCE TUTORIALS SUNDAY,  FEBRUARY 14
	
	TUTORIAL 1, 1:00-5:00, Room CC201
	Software Specifications for Real-time Systems
	Joe Urban, Arizona State  University
	
	TUTORIAL 2, 1:00-3:30, Room CC203
	Parallel Computing
	S. Lakshmivarahan, University of Oklahoma
	
	TUTORIAL 3, 1:00-5:00, Room CC203
	Fuzzy Hybrid Systems
	Abe Kandel, University of South  Floride and  M.  Schneider,
	Florida Institute of Technology
	
	TUTORIAL 4, 1:00-5:00, Room CC204
	What Do We Do Now That All  The Simple  Problems  Have  Been
	Solved?
	Chris Lee, Manugistics
	
	TUTORIAL 5, 12:00-6:00, Room CC210
	Microcontroller and Computer Interfacing Using Forth
	Glen Watson and Denise Stilling, University of  Saskatchewan
	and Lawrence Forsley, Forth Institute
	
	
	
	RECEPTION/CASH BAR SUNDAY, FERBRUARY 14
	
	7:00-9:00 pm,  Hyatt Regency Hotel, Room ChA/B
	
	
	
	OPENING SESSION, MONDAY, FEBRUARY 15
	
	OPENING REMARKS, 8:00-8:30, Room CC211
	Applied Computing:  Where Things Now Stand
	Hal Berghel, SAC'93 Conference Chair and SIGAPP Chair
	
	CONFERENCE WELCOME
	
	
	
	
	
	
	
	
	
	                           - 2 -
	
	
	George Hedrick, SAC'93 Program Chair and SIGAPP Vice-Chair
	
	
	
	TECHNICAL SESSIONS MONDAY, FEBRUARY 15, 8:45 - 10:00
	
	INTELLIGENT SYSTEMS - Room CC138
	Session  Chairs:  Ray  Hashemi,  University   of   Arkansas,
	LittleRock and Dan St. Clair, University of Missouri, Rolla
	
	Effect of the Chi-Squared Test on Construction of ID3  Deci-
	sion Trees
	M. Thakore  Sun Microsystems, Inc. & Daniel  C.  St.  Clair,
	University of Missouri-Rolla
	
	Prediction Capability of Neural Networks Trained  in  Monte-
	Carlo Paradigm
	R.Hashemi & John R. Talburt, University  of  Arkansas-Little
	Rock, A. Chowdhury,University of Arkansas-Pine Bluff
	
	Dynamic ID3:  A Symbolic Learning Algorithm for  Many-Valued
	Attibute Domains.
	R. Gallion , McDonnell Douglas Missile Systems  Company,  D.
	St.  Clair,  & Chaman Sabharwal , University Missouri-Rolla,
	W. E. Bond, McDonnell Douglas Research Laboratories
	
	
	
	BIOMEDICAL INFORMATICS - Room CC139
	Session Chair:______________________
	
	GnomeView:  A Tool for Visual Representation of Human Genome
	Data
	Joanne E. Pelkey, Gregory S. Thomas, David A.Thurman, Victor
	B.  Lort  and Richard J. Douthart,  Pacific Northwst Labora-
	tory
	
	The VAIDAK Medical Imaging and Model Reconstruction Toolkit
	Brian Bailey, Chandrajit L. Bajaj and Malcolm Fields, Purdue
	University.
	
	Distributed Design of Hip Prosthesis with BHAUTIK
	Chandrajit L. Bajaj and Daniel R. Schikore   Purdue  Univer-
	sity.
	
	
	
	SOFTWARE REUSABILITY I - Room CC140
	Session Chair: Majid Fathi University of Dortmund
	
	Opening Remarks
	Mansour Zand, University of Nebraska-Omaha and Mansur Samad-
	zadeh, Oklahoma State Ujniversity
	
	
	
	
	
	
	
	
	
	
	                           - 3 -
	
	
	The Role of Analogy in Software Reuse
	Mehdi Harandi, University of Illinois at Urbana-Champaign
	
	Integration of Domain Analysis and Analogical Approach
	Chuang-Horng  Lung  &  Joseph  E.   Urban,   Arizona   State
	University,Tempe, Arizona
	
	
	
	GENETIC ALGORITHMS  I - Room CC141
	Session Chair: _______________________
	
	LibGA: A User-Friendly  Workbench  for  Order-Based  Genetic
	Algorithm Research
	Arthur L. Corcoran, & Roger L. Wainwright, The University of
	Tulsa, Tulsa OK
	
	Manipulating Subpopulations of Feasible and Infeasible Solu-
	tions in Genetic Algorithms
	D.Ansa Sekharan, and Robert  L. Wainwright,  The  University
	of Tulsa, Tulsa OK
	
	The Hamming Metric in Genetic Algorithms and Its Application
	to Two Network Problems
	William Frederick, Roger L. Sevdlmeyer, and Curt  M.  White,
	Indiana University-Purdue University,Fort Wayne, Indiana
	
	
	
	SOFTWARE ENGINEERING I - Room CC142
	Session  Chair:  Barrett  Bryant  University   of   Alabama-
	Birmingham
	
	Dynamic Programming in a Pure Functional Language
	Rachel Harrison and Celia A. Glass, University of  Southamp-
	ton, U.K.
	
	Dynamic Sets and Their Application in VDM
	Shaoying Liu, University of York, York, England
	
	A Verification Helper for Task Specifications
	William Hankley and  Peikun  Tsai,Kansas  State  University,
	Manhattan,Kansas
	
	
	
	FORTH WORKSHOP - Room CC143
	
	FORTH IN THE EXPLORATION OF OUTER SPACE
	
	The 5th Annual SIGForth Workshop will be held  February  14-
	16,  1993  in conjunction with SAC'93. The Workshop is spon-
	sored by ACM's Special Interest Group on the Forth  Program-
	ming  Language (SIGFORTH).  A six hour pre-workshop tutorial
	
	
	
	
	
	
	
	
	
	                           - 4 -
	
	
	is listed in the  tutorials  to  be  held  on  Sunday.   The
	workshop will be held in Room CC143 at all scheduled techni-
	cal session hours, Monday and Tuesday.   The  workshop  will
	include technical papers and the following tutorials:
	
	     "Metacompilation" by Bradford J. Rodriguez
	
	     "Scientific Forth" by Julian V. Noble
	
	     "An Introduction to Forth" by Lawrence P. G. Forsley
	
	
	
	TECHNICAL SESSIONS, MONDAY, FEBRUARY 15, 10:15 - 11:45
	
	
	
	ARTIFICIAL INTELLIGENCE - Room CC138
	Session Chair:  Richard Rankin University of Missouri, Rolla
	
	Benchmarking Automated Solution Generators for the Crozzle
	L. J. Spring, University of Queensland
	
	A Hybrid Genetic Algorithm for an NP-Complete  Problem  With
	An Expensive Evaluation Function
	Richard Rankin, & Ralph Wilkerson, University  of  Missouri-
	Rolla,  Geoff  Harris,  Griffith  University,  L.J.  Spring,
	University of Queensland
	
	Basic Blocks in Unconstrained Crossword Puzzles
	Geoff Harris, & John Forster, Griffith  University,  Richard
	Rankin, University of Missouri-Rolla
	
	A Probabilistic Approach to Solving Crossword Puzzles
	Titus D.M. Purdin,  University  of  Arizona,  Geoff  Harris,
	Griffith University
	
	
	
	DISTRIBUTED PROCESSING - Room CC139
	Session Chair: ______________________
	
	Distributed Search for Cooperative Applications
	Michael A. Bauer, and  J.  Michael  Bennett,  University  of
	Western   Ontario,   London,  Ontario,  Canada,  Richard  A.
	McBride, University of South Dakota, Vermillion
	
	Construction of a Fault-Tolerant Distributed Tuple-Space
	Lewis I. Patterson, Richard S. Turner, Robert M. Hyatt,  and
	Kevin D. Reilly, University of Alabama, Birmingham
	
	Asynchronous Organizations for Multi-Algorithm Problems
	Pedro Sergoide Souza, & Sarosh N. Talukdar, Carnegie  Mellon
	University, Pittsburgh
	
	
	
	
	
	
	
	
	
	                           - 5 -
	
	
	Partitioning in X.500
	John  Henshaw  and  Michael  Bauer,  University  of  Western
	Ontario, London, Ontario, Canada
	
	
	
	SOFTWARE REUSABILITY II - Room CC140
	Session Chair: Jim Tomayko Carnegie Mellon University
	
	Object-oriented Schema Extension and Abstraction
	Walter L. Hursch & Karl J. Lieberherr, Northeastern  Univer-
	sity
	
	Generic Templates  for  Object  Specification  and  Software
	Reuse
	Nasser Modiri, Aref Erfani & Athur Ayvaz, Network  Equipment
	Technologies
	
	Method Reuse in Typed Object-Oriented Languages
	Ryan Stansifer, University  of  North  Texas,  Dan  Wetklow,
	University of Pittsburgh at Johnstown
	
	Migration: A Model for Design by Modification
	Rainer Bruck, Universitat Dortmund
	
	
	
	DATABASE I - Room CC141
	Session Chair: Thiel Chang GAK, The Netherlands
	
	An Object Calculus for Geographic Databases
	Eliseo Clementini  and  Paolino  Di  Felice,  Universita  ei
	L'Aquila, Roio, Italy
	
	Scibase-An Object-Oriented Scientific Database for Cell Phy-
	siology Research
	Yi-Wen Guu and Geneva G. Belford, University of Illinois  at
	Urbanna-Champagn
	
	InGRAPH:  Graphical Interface for  a  Fully  Object-Oriented
	Database System
	Xuequn Wu and Guido Dinkhoff,  University of Dortmund, Dort-
	mund, Germany
	
	The  Hybrid  Object-Relational   Architecture   (HORA):   An
	Integration of Object-Oriented and Relational Technology
	Jeff Sutherland, ODB, Cambridge,  Mass.,  Ken  Rugg,  Object
	Design,  Burlington, Mass., Pathew Pope, Marcam Canada, Bur-
	lington, Ontario
	
	
	
	GRAPHICS  I - Room CC142
	Session Chair: ___________________________
	
	
	
	
	
	
	
	
	
	                           - 6 -
	
	
	Double and Triple-Step Linear Interpolation
	Phil Graham & S. Sitharama Iyengar, Louisiana State  Univer-
	sity, Baton Rouge
	
	Generalized Bidirectional Associative Memories or Image Pro-
	cessing
	A.D. Kulkarni and Iraj Yazdanpanahi,  University  of  Texas,
	Tyler
	
	Computing Visibility Information on Digital Terrain Models
	Leila De Floriani and Paola Magillo, University of Genova
	
	Hierarchical Boundary Models for Solid Object Representation
	Leila  De  Floriani,  Monica  Pellegrinelli,  University  of
	Genova,Elisabetta   Bruzzone,Elsag  Bailey  S.p.A.,  Genova,
	Italy
	
	
	
	FORTH WORKSHOP - Room CC143
	
	
	
	KEYNOTE SPEAKER  FOR  PLENARY  SESSION  (LUNCHEON),  MONDAY,
	FEBRUARY 15 12:00 - 1:15, HYATT BALLROOM A/B
	
	Dr. Judson Rosebush:  "Beyond Computer Animation"
	
	Dr. Rosebush is world-renowned for his  pioneering  work  in
	computer  animation.   His  earliest animations date back to
	1970, and his company,  Digital  Effects,  Inc.,  introduced
	computer  animation to the commercial marketplace in the mid
	1970's.  His  book,  Computer  Graphics  for  Designers  and
	Artists,  is  considered to be a standard in the field.  Dr.
	Rosebush's address is sponsored in part by the  ACM  Lectur-
	ship Series and the ACM Local Activities Board.
	
	
	
	TECHNICAL SESSIONS, MONDAY, FEBRUARY 15, 1:45 - 3:15
	
	OBJECT-ORIENTED PROGRAMMING I- Room CC138
	Session Chair: _______________________
	
	Cheyenne to LEIM/TMM:  From Research Vision to Product Real-
	ity
	George H. Collier, Laurie Miller, and Eric Sigman, Bellcore
	
	The Design of an Object-Oriented  Collaborative  Spreadsheet
	with Version Control and History Management
	David A. Fuller, Universidad de Catholica de  Chile,  Sergio
	T. Jujica,Universidad de Santiago,  Jose A. Pin, Universidad
	de Chile
	
	
	
	
	
	
	
	
	
	
	                           - 7 -
	
	
	Applying Object-Oriented Design to Finite  Element  Program-
	ming
	Jun Lu, Donald White, & Waiu-Fah Chen, Purdue University
	
	Object-Oriented Modeling of the Extended  Application  Layer
	Structure
	Adrian Tand and Wei Wei, University of Missouri- Kansas City
	
	
	
	EXPERT SYSTEMS I - Room CC139
	Session Chair:Sanjiv Bhatia University of Misouri-St.Louis
	
	To Approach an Intelligent System in Coping with  an  Aspect
	of Complexity of Water Management
	Ying Liu, University of Delft
	
	Graphs as a Language to describe Learning System Concepts
	D. I. Koutanis, Western  Michigan  University  and  E.  Sam-
	basivam,  Missouri  Western  State College, St. Joseph, Mis-
	souri
	
	Knowledge Acquisition  and  Retrieval  Based  on  Conceptual
	Graphs
	Gi-Chul Yang & Jonathan C. Oh, University of Missouri-Kansas
	City
	
	A Symbolic Simulation Model of  the  Organization  of  Human
	Procedural Knowledge
	Kim Trans, Institute of Computer & Systems Sciences, Denmark
	
	
	
	SOFTWARE REUSABILITY III - Room CC140
	Session Chair: Massimo Ancona Genova University
	
	Parameterized Programming in LILEANNA
	Will Tracz, Stanford University/IBM FSC
	
	Automating the Re-declaration of Unneeded Globals as Private
	Amitava Datta, Siemens Corporate Research,  Inc.,  Prabhaker
	Mateti, Wright State University
	
	Toward Application-Based Approaches to System Development: A
	Theoretical Perspective
	Iris Vessey, Penn State University, Robert L. Glass, Comput-
	ing Trends
	
	
	
	PARALLEL PROCESSING I - Room CC141
	Session Chair: Ming-fang Wang University of Central Arkansas
	
	On the Performance of a Direct Parallel Method  for  Solving
	
	
	
	
	
	
	
	
	
	                           - 8 -
	
	
	Separable  Elliptic  Equations Based on  Block Cyclic Reduc-
	tion
	Kevin E. Kelleher, National  Severe  Storms  Laboratory,  S.
	Lakshmivarahan & Sudarshan K. Dhall, University of Oklahoma
	
	Computation of the Singular Value  Decomposition  on  Arrays
	With Pipelined Optical Buses
	Yi Pan,  University  of  Dayton,  Mounir  Hamdi,  Hong  Kong
	University of Science & Technology
	
	Implementing Progress Indicators for Recursive Algorithms
	Dave Berque, & Jeffrey  Edmonds,  DePauw  University,   Mark
	Goldberg, Rensselaer Polytechnic Institute
	
	Packet Delay Prediction in  Datagram Mesh Systems
	Zhizhang Shen, Peter Drexel,  Liam  Urbach,  Plymouth  State
	College
	
	
	
	LOGIC PROGRAMMING I - Room CC142
	Session Chair:  Ralph Wilkerson University of Missouri-Rolla
	
	A Versatile Module System for Prolog Mapped to Flat Prolog
	Isambo Kareli, Evangelos Pelecanos,  &  Constatin  Halatsis,
	University of Athens
	
	The Unfolding  Problem  in  Logic  Program  Transformations:
	Decidability Results
	Khaled Bsaies & Fransis Alexandre, CRIN-CNRS/INRIA-Lorraine
	
	A Probabilistic Model for Natural Language Understanding
	Michael Atherton, University of  Tennessee-Knoxville,  Debra
	A. Lelewer, California State Polytechnic University, Pomona,
	California
	
	Stream Driven Query Processing in a Database
	K.J.Danhof, N.C.K. Phillips,  A.  Vohra,  Southern  Illinois
	University
	
	
	
	FORTH WORKSHOP - Room CC143
	
	
	
	TECHNICAL SESSIONS, MONDAY, FEBRUARY 15, 3:30-4:45
	
	
	
	OBJECT-ORIENTED PROGRAMMING II - Room CC138
	Session Chair:Shirley Browne Hope University
	
	An  Object  Oriented  Application/Programmer  Interface  for
	
	
	
	
	
	
	
	
	
	                           - 9 -
	
	
	Network Programming
	Jennifer  Howell,  Plymouth  State   College,    Ming   Shu,
	MacAlester College, Robert Wohlfarth, Taylor University
	
	Class Library Management System for Object-Oriented Program-
	ming
	Kekwee Ng, Jian Ma, and Gi-Moon Nam, University of New South
	Wales
	
	Dynammic Selection  and  Reuse  of  Implementations  in  the
	Object- Oriented Programming Paradigm
	H.  M.  Al-Haddad,   Marshall  University,   K.  M.  George,
	Oklahoma  State  University,  Stillwater and Thomas Gersten,
	ITESM, Mexico City
	
	
	
	MEDICAL APPLICATIONS I - Room CC139
	Session Chair: ______________________
	
	A PC-Controlled Data Acquisition System  for  Transabdominal
	Recording of Cardiac Activity in the Human Fetus
	Donna Mooney, University of Arkansas, Little Rock
	
	Histogram Editing for Semi-Quantative Data Input in Interac-
	tive Suimulations
	R. R. Goforth, D. Berleant, K.  A.  Bognaes,  University  of
	Arkansas,  Fayetteville  and  Harry  F. Bushar, Federal Drug
	Administration
	
	Distributing Molecular Biology  Information:  Gopher,  WAIS,
	and the University of Houston Gene Sevrver
	Diaiel B. Davison, Univeristy of Houston
	
	
	
	SOFTWARE REUSABILITY IV - Room CC140
	Session Chair: Robert Glass Computing Trends
	
	The Data Derivation Model:  A  Program  Specification  Tech-
	nique That Improves Reusability
	Hee Beng and Kuan Tan, Tok Wang Ling, Stan Jarzbek, and  Yin
	Seong Ho, National University of Singapore
	
	Filtering Import: A Basic Mechanism for Reusability
	M. Ancona & P. Nieddu, Universita di Genova
	
	Software-Based  Reconfiguration  of  Quadtree  Embedding  in
	Hypercubes in Response to Node Failures
	Vinayak Hedge, S. Sitharama Iyengar, Louisiana State Univer-
	sity, Kirshnakumar Narayan, Digital Equipment Corporation
	
	
	
	
	
	
	
	
	
	
	
	
	                           - 10 -
	
	
	PARALLEL PROCESSING II - Room CC 141
	Session Chair: ____________________________________
	
	Distributive Join Algorithm for  Shared-Memory  Multiproces-
	sors
	Soon. M. Chung & Jaerheen Yang, Wright State University
	
	Parallel  Global  Adaptive  Integration  and  Dynamic   Load
	Balancing on Loosely Coupled Systems
	Ignatios Vakalis,  Capital  University,  Elise  de  Doncker,
	Western Michigan University
	
	Molecular Dynamics with the Fast Multipole Algorithm
	John A. Board Jr. & James F. Leathrum Jr., Duke University
	
	
	
	GRAPHICS  II - Room  CC142
	Session Chair: _____________________________
	
	Error Free Incremental Computation of  Voronoi  Diagrams  in
	the Plane
	Gary A. Hyslop & Edmund  A.  Lamagna,  University  of  Rhode
	Island
	
	An Intelligent Approach to Discrete Sampling  of  Parametric
	Curves
	Chaman L. Sabharwal, University of Missouri-Rolla
	
	Recovering 3D Image Parameters  From  Corresponding  Two  2D
	Images
	Chaman L. Sabharwal, University of Missouri-Rolla
	
	
	
	FORTH  WORKSHOP - Room CC143
	
	
	
	TUESDAY, FEBRUARY 16,1993
	
	
	
	OPENING CEREMONIES OF THE ACM/CSC AND ACM STATE OF THE ASSO-
	CIATION ADDRESS Westin Grand Ballroom - 8:00-8:30
	
	John F. Buck, Conference Chair, CSC, Gwen  Bell,  President,
	ACM
	
	CSC/SAC JOINT SESSION,  CSC  KEYNOTE  ADDRESS  Westin  Grand
	Ballroom - 8:30-9:30
	
	Raymond Kurzweil: "The Emergence of  True  Machine  Intelli-
	gence in the Twenty-first Century"
	
	
	
	
	
	
	
	
	
	                           - 11 -
	
	
	TECHNICAL SESSIONS, TUESDAY, FEBRUARY 16, 10:00 - 11:45
	
	
	
	EXPERT SYSTEMS  II- Room CC 138
	Session Chair: Moti Schneider Florida Institute of  Technol-
	ogy
	
	Using a High Level Knowledge Representation for Expert  Sys-
	tems Knowledge Acquistion and Prototyping
	Ramon Brena, Jose-Luis Aguirre, Olivia  Barron,  Maria-Nelly
	Garcia, ITESM, Monterrey, Mexico
	
	Use of Object Oriented Structures to Represent Knowledge  in
	Expert Systems
	Gerard Chew, Moti Schneider, Florida Institute of  Technolo-
	gyand Abraham Kandel,  University of South Florida
	
	Qualitative Simulation - A Feedback Control System
	Angel Syang and Yichiang Syang ,University of Texas
	
	Expert Systems for Economic/Business Forecasting
	E. Shnaider, P. Hurtado  & M. Schneider,  Florida  Institute
	Technology
	
	
	
	PARALLEL PROCESSING III  and COGNITIVE SCIENCE- Room CC139
	Session Chair: ____________________________
	
	Load Balancing Techniques for Dynamic Programming Algorithms
	on Hypercube Multiprocessors
	Steve A. Strate & Roger  L.  Wainwright,  The  Univesity  of
	Tulsa
	
	A Parallelized Search Strategy for Solving  a  Multicriteria
	Aircraft Routing Problem 1993
	James J. Grimm, Andrew J.  Terzuoli,  Gary  B.  Lamont,  Air
	Force Institute of Technology
	
	A Comparison of Concept Recognition Skills
	Melvin K. Richardson, Brigham Young University
	
	Object-Oriented Software  for  the  Analysis  of  Conceptual
	Hierarchies in Thesauri
	Robert E. Kent, University of Arkansas, Little Rock
	
	
	
	SOFTWARE ENGINEERING II- Room CC 140
	Session Chair: ___________________________
	
	Simulation Control Environment: A Modular Approach to  Simu-
	lation Software
	
	
	
	
	
	
	
	
	
	                           - 12 -
	
	
	Daniel T. Wick, Nagy M. Shehad  and  Ankur  R.  Hajare,  The
	MITRE Corporation
	
	Using Groupware to Develop Space Station Procedures for  On-
	Orbit Research
	Daniel T. Wick, James J. Bovenzi and Ankur  R.  Hajare,  The
	MITRE Corporation
	
	An Empirical Study of Three Common Software Complexity Meas-
	ures
	Michael B. O'Neal, Louisiana Tech University
	
	A Hierarchical Structure for Fault  Tolerant  Reactive  Pro-
	grams
	Andrea  Clematis   INA/CNR,  Genova,  Italy   and   Vittoria
	Gianuzzi, Universita de Genova, Italy
	
	
	
	DATABASE II- Room CC 141
	Session Chair:Thiel Chang GAK, The Netherlands
	
	GELEM, A Multilingual Lexicons Management System
	Pierre  Losco,  Hassane  Chelyah,   Moncef   Mlouka,National
	Research Institute in Informatics & Automation, France
	
	Automatic Logical Navigation for Relational Databases
	Paul E. Reimers, Wright-Patterson Air Force Base,  and  Soon
	M. Chung, Wright State University
	
	An Integrated Solution for Managing Replicated Data in  Dis-
	tributed Systems
	Panduranga Rao  Adusumilli  &  Lawrence  J.  Osborne,  Lamar
	University
	
	On The Automation of Physical Database Design
	Sunil Choenni and Henk M.  Blanken,  University  of  Twente,
	Thiel Chang,GAK Amsterdam The Netherlands
	
	
	
	LOGIC PROGRAMMING II-Room CC 142
	Session Chair: Ralph Wilkerson Univesity of Missouri-Rolla
	
	Ushell:  An Environment for Introduction to  Logic  Program-
	ming
	L. Umit Yalcinalp, BP Research
	
	Finding Fixed Point Combinators Using Prolog
	Richard Rankin & Ralph Wilkerson,  University  of  Missouri-
	Rolla
	
	Program Transformation for the Longest Upsequence Set  Prob-
	lem
	
	
	
	
	
	
	
	
	
	                           - 13 -
	
	
	Haklin Kim, University of Tennessee
	
	Dynamic Inferencing With Generalized Resolution
	Gordon Beavers,  University  of  the  Ozarks,  Hal  Berghel,
	University of Arkansas, Fayetteville
	
	
	
	FORTH WORKSHOP - Room CC 143
	
	
	
	KEYNOTE SPEAKER  FOR  PLENARY  SESSION  (LUNCHEON)  TUESDAY,
	FEBRUARY 16 12:00 - 1:15 HYATT BALLROOM A/B
	
	Gerald Engel: "Federal Funding Opportunities  for  Computing
	Professionals"
	
	Dr. Engel is the  Program  Director  of  Cross  Disciplinary
	Activities  at  the  National Science Foundation.  He super-
	vises the administration of both the Educational and  Insti-
	tutional  Infrastructure programs, as well as the Instrumen-
	taion and Research Initiation projects for  the  Foundation.
	He  was  awarded  the  prestigious ACM Distinguished Service
	Award for 1992.  Dr. Engel came to the NSF from the  Univer-
	sity  of  Connecticut,  where he was Stamford Profeeessor of
	Computer Science and Electrical Engineering.
	
	
	
	TECHNCAL SESSIONS, TUESDAY FEBRUARY 16 1:30 - 3:00
	
	
	
	SPECIAL TOPICS - Room  CC138
	Session Chair: ______________________
	
	A Model  for Studying Ambiguity in SGML Element Declarations
	R. W. Matzen, K.M. George & G. E.  Hedrick,  Oklahoma  State
	University
	
	Effect of Probabilistic Error Checking  Procedures  on  Per-
	formability of Robust Objects
	Ing-Ray Chen, University of Mississippi
	
	Computer-Based Derivation of Flux and Concentration  Control
	Coefficients of Metabolic Control Theory
	Arthur R. Schulz, Indiana University
	
	
	
	SOFTWARE ENGINEERING III - Room - CC139
	Session Chair: _________________________
	
	
	
	
	
	
	
	
	
	
	                           - 14 -
	
	
	A Linkage Analyzer for Process Management
	Alan T. Yaung, IBM Corporation, Rochester, MN
	
	Comparing and Assessing Programming Languages:  Basis for  a
	Qualitative Methodology
	Jarallah Alghamdi & Joseph E. Urban, Arizona  State  Univer-
	sity
	
	Syntax-directed Editing Environments:  Issues and Features
	Amir A. Khwaja & Joseph E. Urban, Arizona State University
	
	Development and Analysis of a Wide Area Multimedia  Informa-
	tion System
	M. Hitz & H. Wethner, University of Vienna, Austria
	
	
	
	NETWORKS I - Room CC140
	Session Chair: ___________________________
	
	Time-Space Optimal Convex Hull Algorithms
	Hla Min & Si-Qing Zheng, Louisiana State University.  Batton
	Rouge
	
	Sparse Hypercube-Like Interconnection Networks
	Si-Qing Zheng, Louisiana State University,  Shahram  Latifi,
	University of Nevada-Las Vegas
	
	A Fast Algorithm for Generalized Network Location Problems
	Dipti  S.  Joshi,  Sridhar  Radhakrishnan,   University   of
	Oklahoma-  Norman,  Chandrasekran  Narayanan,  University of
	Central Florida, Orlando
	
	
	
	INFORMATION RETRIEVAL - Room CC141
	Session Chair: __________________
	
	Cluster Characterization in Information Retrieval
	Sanjiv K. Bhatia University of Missouri-St. Louis & Jitender
	S. Deogun, University of Nebraska, Lincoln
	
	HypIR:  A Hypertext-Based Approach to Information Retrieval
	Fazli Can & Yuan-Ming Lee, Miami University,Oxford, Ohio
	
	Linguistico-Statistical and Logics Applied  for  Documentary
	System
	Omar  Larouk,   Nationale   Superieure   des   Sciences   de
	l'Information et des Bibliotheques, France
	
	A Methodology for the Automatic Construction of a  Hypertext
	for Information Retrieval
	Maristella Agosti and Fabio Crestani, Universita' di Padova,
	Itlay
	
	
	
	
	
	
	
	
	
	                           - 15 -
	
	
	GENETIC ALGORITHMS  II- Room CC 142
	Session Chair: __________________________________
	
	Dynamic Trajectory Routing using an Adaptive Search Strategy
	Sam  R.  Thangiah,  Slippery  Rock  University,  Kendall  E.
	Nygard, North Dakota State University
	
	An  Efficient  Storage  Scheme  for  Alignment  of   Genetic
	Sequences
	Yi-Wen Guu, University of Illinois at Urbana-Champaign
	
	The Effect of Population Structure on the  Rate  of  Conver-
	gence of Genetic Algorithms
	Po  Hsiang  Chu,  Depaul  University,  Susan  Dudley,  Brown
	University
	
	
	
	FORTH WORKSHOP - Room CC143
	
	
	
	TECHNICAL SESSIONS, TUESDAY, FEBRUARY 16, 1992, 3:30 - 5:00
	
	
	
	NEURAL NETWORKS - Room CC138
	Session Chair: __________________________
	
	Analysis of Upper Bound  in  Valiant's  Model  for  Learning
	Bounded CNF Expressions
	Shankar Vaidyanathan  &  S.  Lakshmivarahan,  University  of
	Oklahoma
	
	Segmentation of Merged Characters  by  Neural  Networks  and
	Shortest-Path
	Jin Wang & Jack Jean, Wright State University
	
	3-dimensional Reconstruction  by  Silhouettes  to  Construct
	Training Patterns for Neural Networks
	Jens Burkert & Thorsten Brendel, Carl von Ossietsky  Univer-
	sitat, Oldenburg, Germany
	
	
	
	MANAGEMENT INFORMATION SYSTEMS  and SCHEDULING - Room CC139
	Session Chair: ___________________________
	
	On Concurrent Execution of Information Systems Applications
	D. Motzkin, E. Jarret,  D.  Hager,  M.  Kerstetter,  Western
	Michigan University
	
	Strategic Sourcing for Information Processing Functions
	Louis A. LeBlanc, University of Arkansas
	
	
	
	
	
	
	
	
	
	                           - 16 -
	
	
	An Integrated Optimal Task Assignment Policy
	Sub Ramakrishnan, Larry Dunning, &  Thomas  Nitsch,  Bowling
	Green State University
	
	The Real-Time Producer/Consumer Paradigm:   A  Paradigm  for
	the Construction of Efficient, Predictable Real-Time Systems
	Kevin Jeffay & Dan Poirier, University  of  North  Carolina-
	Chapel Hill
	
	
	
	NETWORKS II-Room CC 140
	Session Chair: ____________________________
	
	The Com-Star Network:  A New Family of Star Graph Networks
	Bin Cong, South Dakota State University
	
	Centralized Packet Radio Network:  A Communication  Approach
	Suited for Data  Collection in a Real-Time Flash Flood Pred-
	iction System
	Manuel Jimenez Cedeno and Ramon  Vasquez Espinasa, Univesity
	of Puerto Rico
	
	OSI Group Communication Support for a Date Planning Applica-
	tion
	William F. Millen, University of Missouri, Kansas City
	
	An Efficient  Distributed  Algorithm  to  Find  Articulation
	Points, Bridges and Biconnected Components of a Network
	Vinayak G. Hegde and  Sitharama  S.  Iyengar,Louisana  State
	University
	
	
	MEDICAL APPLICATIONS II - Room CC141
	Session Chair: ______________________
	
	An Object-Oriented Genetics Information System
	Elizabeth Shoop, University of Minnesota
	
	ADAMS: An Object Oriented System  for  Epidemiological  Data
	Manipulation
	Fabrizio L. Ricci, ISRDS-CNR, Rome, Italy
	
	An Intelligent Vidor Pattern Generator for Use in Opthalmol-
	ogy
	M..S.Obaidat, City University of New York
	
	
	
	GENETIC ALGORITHMS  III - Room CC 142
	Session Chairs: ___________________________________
	
	Linear Discriminant Analysis Using Genetic Algorithms
	Aaron H. Konstam, Trinity University
	
	
	
	
	
	
	
	
	
	                           - 17 -
	
	
	Minimal Cost Set Covering Using Probabilistic Methods
	Sandip Sen, University of Michigan
	
	Parallelization and Analysis of A Linear Adaptive  Filtering
	Algorithm
	Richard K. Acree, David T. Croley, Nasr Ullah, Mario J. Gon-
	zalez, Darioush M. Samani, University of Texas at Austin