home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / database / 8716 < prev    next >
Encoding:
Internet Message Format  |  1992-12-30  |  27.5 KB
  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!mcsun!Germany.EU.net!ecrc!ecrc.de!kfw
  2. From: kfw@ecrc.de (Kam-Fai Wong)
  3. Newsgroups: comp.databases
  4. Subject: ACM SAC'93 preliminary programme
  5. Message-ID: <1992Dec30.080416.24150@ecrc.de>
  6. Date: 30 Dec 92 08:04:16 GMT
  7. Sender: news@ecrc.de
  8. Reply-To: kfw@ecrc.de (Kam-Fai Wong)
  9. Organization: European Computer-Industry Research Centre, Munich
  10. Lines: 1123
  11.  
  12.  
  13.     
  14.     
  15.     
  16.     
  17.     
  18.     
  19.       *******************************************************
  20.       *                                                     *
  21.       *     SYMPOSIUM ON APPLIED COMPUTING (SAC '93)        *
  22.       *                                                     *
  23.       *  Indiana Convention Center, Indianapolis, Indiana   *
  24.       *               February 14-16, 1993                  *
  25.       *******************************************************
  26.     
  27.     
  28.                         Preliminary  Program
  29.                         ====================
  30.     
  31.     
  32.     
  33.     CONFERENCE TUTORIALS SUNDAY,  FEBRUARY 14
  34.     
  35.     TUTORIAL 1, 1:00-5:00, Room CC201
  36.     Software Specifications for Real-time Systems
  37.     Joe Urban, Arizona State  University
  38.     
  39.     TUTORIAL 2, 1:00-3:30, Room CC203
  40.     Parallel Computing
  41.     S. Lakshmivarahan, University of Oklahoma
  42.     
  43.     TUTORIAL 3, 1:00-5:00, Room CC203
  44.     Fuzzy Hybrid Systems
  45.     Abe Kandel, University of South  Floride and  M.  Schneider,
  46.     Florida Institute of Technology
  47.     
  48.     TUTORIAL 4, 1:00-5:00, Room CC204
  49.     What Do We Do Now That All  The Simple  Problems  Have  Been
  50.     Solved?
  51.     Chris Lee, Manugistics
  52.     
  53.     TUTORIAL 5, 12:00-6:00, Room CC210
  54.     Microcontroller and Computer Interfacing Using Forth
  55.     Glen Watson and Denise Stilling, University of  Saskatchewan
  56.     and Lawrence Forsley, Forth Institute
  57.     
  58.     
  59.     
  60.     RECEPTION/CASH BAR SUNDAY, FERBRUARY 14
  61.     
  62.     7:00-9:00 pm,  Hyatt Regency Hotel, Room ChA/B
  63.     
  64.     
  65.     
  66.     OPENING SESSION, MONDAY, FEBRUARY 15
  67.     
  68.     OPENING REMARKS, 8:00-8:30, Room CC211
  69.     Applied Computing:  Where Things Now Stand
  70.     Hal Berghel, SAC'93 Conference Chair and SIGAPP Chair
  71.     
  72.     CONFERENCE WELCOME
  73.     
  74.     
  75.     
  76.     
  77.     
  78.     
  79.     
  80.     
  81.     
  82.                                - 2 -
  83.     
  84.     
  85.     George Hedrick, SAC'93 Program Chair and SIGAPP Vice-Chair
  86.     
  87.     
  88.     
  89.     TECHNICAL SESSIONS MONDAY, FEBRUARY 15, 8:45 - 10:00
  90.     
  91.     INTELLIGENT SYSTEMS - Room CC138
  92.     Session  Chairs:  Ray  Hashemi,  University   of   Arkansas,
  93.     LittleRock and Dan St. Clair, University of Missouri, Rolla
  94.     
  95.     Effect of the Chi-Squared Test on Construction of ID3  Deci-
  96.     sion Trees
  97.     M. Thakore  Sun Microsystems, Inc. & Daniel  C.  St.  Clair,
  98.     University of Missouri-Rolla
  99.     
  100.     Prediction Capability of Neural Networks Trained  in  Monte-
  101.     Carlo Paradigm
  102.     R.Hashemi & John R. Talburt, University  of  Arkansas-Little
  103.     Rock, A. Chowdhury,University of Arkansas-Pine Bluff
  104.     
  105.     Dynamic ID3:  A Symbolic Learning Algorithm for  Many-Valued
  106.     Attibute Domains.
  107.     R. Gallion , McDonnell Douglas Missile Systems  Company,  D.
  108.     St.  Clair,  & Chaman Sabharwal , University Missouri-Rolla,
  109.     W. E. Bond, McDonnell Douglas Research Laboratories
  110.     
  111.     
  112.     
  113.     BIOMEDICAL INFORMATICS - Room CC139
  114.     Session Chair:______________________
  115.     
  116.     GnomeView:  A Tool for Visual Representation of Human Genome
  117.     Data
  118.     Joanne E. Pelkey, Gregory S. Thomas, David A.Thurman, Victor
  119.     B.  Lort  and Richard J. Douthart,  Pacific Northwst Labora-
  120.     tory
  121.     
  122.     The VAIDAK Medical Imaging and Model Reconstruction Toolkit
  123.     Brian Bailey, Chandrajit L. Bajaj and Malcolm Fields, Purdue
  124.     University.
  125.     
  126.     Distributed Design of Hip Prosthesis with BHAUTIK
  127.     Chandrajit L. Bajaj and Daniel R. Schikore   Purdue  Univer-
  128.     sity.
  129.     
  130.     
  131.     
  132.     SOFTWARE REUSABILITY I - Room CC140
  133.     Session Chair: Majid Fathi University of Dortmund
  134.     
  135.     Opening Remarks
  136.     Mansour Zand, University of Nebraska-Omaha and Mansur Samad-
  137.     zadeh, Oklahoma State Ujniversity
  138.     
  139.     
  140.     
  141.     
  142.     
  143.     
  144.     
  145.     
  146.     
  147.     
  148.                                - 3 -
  149.     
  150.     
  151.     The Role of Analogy in Software Reuse
  152.     Mehdi Harandi, University of Illinois at Urbana-Champaign
  153.     
  154.     Integration of Domain Analysis and Analogical Approach
  155.     Chuang-Horng  Lung  &  Joseph  E.   Urban,   Arizona   State
  156.     University,Tempe, Arizona
  157.     
  158.     
  159.     
  160.     GENETIC ALGORITHMS  I - Room CC141
  161.     Session Chair: _______________________
  162.     
  163.     LibGA: A User-Friendly  Workbench  for  Order-Based  Genetic
  164.     Algorithm Research
  165.     Arthur L. Corcoran, & Roger L. Wainwright, The University of
  166.     Tulsa, Tulsa OK
  167.     
  168.     Manipulating Subpopulations of Feasible and Infeasible Solu-
  169.     tions in Genetic Algorithms
  170.     D.Ansa Sekharan, and Robert  L. Wainwright,  The  University
  171.     of Tulsa, Tulsa OK
  172.     
  173.     The Hamming Metric in Genetic Algorithms and Its Application
  174.     to Two Network Problems
  175.     William Frederick, Roger L. Sevdlmeyer, and Curt  M.  White,
  176.     Indiana University-Purdue University,Fort Wayne, Indiana
  177.     
  178.     
  179.     
  180.     SOFTWARE ENGINEERING I - Room CC142
  181.     Session  Chair:  Barrett  Bryant  University   of   Alabama-
  182.     Birmingham
  183.     
  184.     Dynamic Programming in a Pure Functional Language
  185.     Rachel Harrison and Celia A. Glass, University of  Southamp-
  186.     ton, U.K.
  187.     
  188.     Dynamic Sets and Their Application in VDM
  189.     Shaoying Liu, University of York, York, England
  190.     
  191.     A Verification Helper for Task Specifications
  192.     William Hankley and  Peikun  Tsai,Kansas  State  University,
  193.     Manhattan,Kansas
  194.     
  195.     
  196.     
  197.     FORTH WORKSHOP - Room CC143
  198.     
  199.     FORTH IN THE EXPLORATION OF OUTER SPACE
  200.     
  201.     The 5th Annual SIGForth Workshop will be held  February  14-
  202.     16,  1993  in conjunction with SAC'93. The Workshop is spon-
  203.     sored by ACM's Special Interest Group on the Forth  Program-
  204.     ming  Language (SIGFORTH).  A six hour pre-workshop tutorial
  205.     
  206.     
  207.     
  208.     
  209.     
  210.     
  211.     
  212.     
  213.     
  214.                                - 4 -
  215.     
  216.     
  217.     is listed in the  tutorials  to  be  held  on  Sunday.   The
  218.     workshop will be held in Room CC143 at all scheduled techni-
  219.     cal session hours, Monday and Tuesday.   The  workshop  will
  220.     include technical papers and the following tutorials:
  221.     
  222.          "Metacompilation" by Bradford J. Rodriguez
  223.     
  224.          "Scientific Forth" by Julian V. Noble
  225.     
  226.          "An Introduction to Forth" by Lawrence P. G. Forsley
  227.     
  228.     
  229.     
  230.     TECHNICAL SESSIONS, MONDAY, FEBRUARY 15, 10:15 - 11:45
  231.     
  232.     
  233.     
  234.     ARTIFICIAL INTELLIGENCE - Room CC138
  235.     Session Chair:  Richard Rankin University of Missouri, Rolla
  236.     
  237.     Benchmarking Automated Solution Generators for the Crozzle
  238.     L. J. Spring, University of Queensland
  239.     
  240.     A Hybrid Genetic Algorithm for an NP-Complete  Problem  With
  241.     An Expensive Evaluation Function
  242.     Richard Rankin, & Ralph Wilkerson, University  of  Missouri-
  243.     Rolla,  Geoff  Harris,  Griffith  University,  L.J.  Spring,
  244.     University of Queensland
  245.     
  246.     Basic Blocks in Unconstrained Crossword Puzzles
  247.     Geoff Harris, & John Forster, Griffith  University,  Richard
  248.     Rankin, University of Missouri-Rolla
  249.     
  250.     A Probabilistic Approach to Solving Crossword Puzzles
  251.     Titus D.M. Purdin,  University  of  Arizona,  Geoff  Harris,
  252.     Griffith University
  253.     
  254.     
  255.     
  256.     DISTRIBUTED PROCESSING - Room CC139
  257.     Session Chair: ______________________
  258.     
  259.     Distributed Search for Cooperative Applications
  260.     Michael A. Bauer, and  J.  Michael  Bennett,  University  of
  261.     Western   Ontario,   London,  Ontario,  Canada,  Richard  A.
  262.     McBride, University of South Dakota, Vermillion
  263.     
  264.     Construction of a Fault-Tolerant Distributed Tuple-Space
  265.     Lewis I. Patterson, Richard S. Turner, Robert M. Hyatt,  and
  266.     Kevin D. Reilly, University of Alabama, Birmingham
  267.     
  268.     Asynchronous Organizations for Multi-Algorithm Problems
  269.     Pedro Sergoide Souza, & Sarosh N. Talukdar, Carnegie  Mellon
  270.     University, Pittsburgh
  271.     
  272.     
  273.     
  274.     
  275.     
  276.     
  277.     
  278.     
  279.     
  280.                                - 5 -
  281.     
  282.     
  283.     Partitioning in X.500
  284.     John  Henshaw  and  Michael  Bauer,  University  of  Western
  285.     Ontario, London, Ontario, Canada
  286.     
  287.     
  288.     
  289.     SOFTWARE REUSABILITY II - Room CC140
  290.     Session Chair: Jim Tomayko Carnegie Mellon University
  291.     
  292.     Object-oriented Schema Extension and Abstraction
  293.     Walter L. Hursch & Karl J. Lieberherr, Northeastern  Univer-
  294.     sity
  295.     
  296.     Generic Templates  for  Object  Specification  and  Software
  297.     Reuse
  298.     Nasser Modiri, Aref Erfani & Athur Ayvaz, Network  Equipment
  299.     Technologies
  300.     
  301.     Method Reuse in Typed Object-Oriented Languages
  302.     Ryan Stansifer, University  of  North  Texas,  Dan  Wetklow,
  303.     University of Pittsburgh at Johnstown
  304.     
  305.     Migration: A Model for Design by Modification
  306.     Rainer Bruck, Universitat Dortmund
  307.     
  308.     
  309.     
  310.     DATABASE I - Room CC141
  311.     Session Chair: Thiel Chang GAK, The Netherlands
  312.     
  313.     An Object Calculus for Geographic Databases
  314.     Eliseo Clementini  and  Paolino  Di  Felice,  Universita  ei
  315.     L'Aquila, Roio, Italy
  316.     
  317.     Scibase-An Object-Oriented Scientific Database for Cell Phy-
  318.     siology Research
  319.     Yi-Wen Guu and Geneva G. Belford, University of Illinois  at
  320.     Urbanna-Champagn
  321.     
  322.     InGRAPH:  Graphical Interface for  a  Fully  Object-Oriented
  323.     Database System
  324.     Xuequn Wu and Guido Dinkhoff,  University of Dortmund, Dort-
  325.     mund, Germany
  326.     
  327.     The  Hybrid  Object-Relational   Architecture   (HORA):   An
  328.     Integration of Object-Oriented and Relational Technology
  329.     Jeff Sutherland, ODB, Cambridge,  Mass.,  Ken  Rugg,  Object
  330.     Design,  Burlington, Mass., Pathew Pope, Marcam Canada, Bur-
  331.     lington, Ontario
  332.     
  333.     
  334.     
  335.     GRAPHICS  I - Room CC142
  336.     Session Chair: ___________________________
  337.     
  338.     
  339.     
  340.     
  341.     
  342.     
  343.     
  344.     
  345.     
  346.                                - 6 -
  347.     
  348.     
  349.     Double and Triple-Step Linear Interpolation
  350.     Phil Graham & S. Sitharama Iyengar, Louisiana State  Univer-
  351.     sity, Baton Rouge
  352.     
  353.     Generalized Bidirectional Associative Memories or Image Pro-
  354.     cessing
  355.     A.D. Kulkarni and Iraj Yazdanpanahi,  University  of  Texas,
  356.     Tyler
  357.     
  358.     Computing Visibility Information on Digital Terrain Models
  359.     Leila De Floriani and Paola Magillo, University of Genova
  360.     
  361.     Hierarchical Boundary Models for Solid Object Representation
  362.     Leila  De  Floriani,  Monica  Pellegrinelli,  University  of
  363.     Genova,Elisabetta   Bruzzone,Elsag  Bailey  S.p.A.,  Genova,
  364.     Italy
  365.     
  366.     
  367.     
  368.     FORTH WORKSHOP - Room CC143
  369.     
  370.     
  371.     
  372.     KEYNOTE SPEAKER  FOR  PLENARY  SESSION  (LUNCHEON),  MONDAY,
  373.     FEBRUARY 15 12:00 - 1:15, HYATT BALLROOM A/B
  374.     
  375.     Dr. Judson Rosebush:  "Beyond Computer Animation"
  376.     
  377.     Dr. Rosebush is world-renowned for his  pioneering  work  in
  378.     computer  animation.   His  earliest animations date back to
  379.     1970, and his company,  Digital  Effects,  Inc.,  introduced
  380.     computer  animation to the commercial marketplace in the mid
  381.     1970's.  His  book,  Computer  Graphics  for  Designers  and
  382.     Artists,  is  considered to be a standard in the field.  Dr.
  383.     Rosebush's address is sponsored in part by the  ACM  Lectur-
  384.     ship Series and the ACM Local Activities Board.
  385.     
  386.     
  387.     
  388.     TECHNICAL SESSIONS, MONDAY, FEBRUARY 15, 1:45 - 3:15
  389.     
  390.     OBJECT-ORIENTED PROGRAMMING I- Room CC138
  391.     Session Chair: _______________________
  392.     
  393.     Cheyenne to LEIM/TMM:  From Research Vision to Product Real-
  394.     ity
  395.     George H. Collier, Laurie Miller, and Eric Sigman, Bellcore
  396.     
  397.     The Design of an Object-Oriented  Collaborative  Spreadsheet
  398.     with Version Control and History Management
  399.     David A. Fuller, Universidad de Catholica de  Chile,  Sergio
  400.     T. Jujica,Universidad de Santiago,  Jose A. Pin, Universidad
  401.     de Chile
  402.     
  403.     
  404.     
  405.     
  406.     
  407.     
  408.     
  409.     
  410.     
  411.     
  412.                                - 7 -
  413.     
  414.     
  415.     Applying Object-Oriented Design to Finite  Element  Program-
  416.     ming
  417.     Jun Lu, Donald White, & Waiu-Fah Chen, Purdue University
  418.     
  419.     Object-Oriented Modeling of the Extended  Application  Layer
  420.     Structure
  421.     Adrian Tand and Wei Wei, University of Missouri- Kansas City
  422.     
  423.     
  424.     
  425.     EXPERT SYSTEMS I - Room CC139
  426.     Session Chair:Sanjiv Bhatia University of Misouri-St.Louis
  427.     
  428.     To Approach an Intelligent System in Coping with  an  Aspect
  429.     of Complexity of Water Management
  430.     Ying Liu, University of Delft
  431.     
  432.     Graphs as a Language to describe Learning System Concepts
  433.     D. I. Koutanis, Western  Michigan  University  and  E.  Sam-
  434.     basivam,  Missouri  Western  State College, St. Joseph, Mis-
  435.     souri
  436.     
  437.     Knowledge Acquisition  and  Retrieval  Based  on  Conceptual
  438.     Graphs
  439.     Gi-Chul Yang & Jonathan C. Oh, University of Missouri-Kansas
  440.     City
  441.     
  442.     A Symbolic Simulation Model of  the  Organization  of  Human
  443.     Procedural Knowledge
  444.     Kim Trans, Institute of Computer & Systems Sciences, Denmark
  445.     
  446.     
  447.     
  448.     SOFTWARE REUSABILITY III - Room CC140
  449.     Session Chair: Massimo Ancona Genova University
  450.     
  451.     Parameterized Programming in LILEANNA
  452.     Will Tracz, Stanford University/IBM FSC
  453.     
  454.     Automating the Re-declaration of Unneeded Globals as Private
  455.     Amitava Datta, Siemens Corporate Research,  Inc.,  Prabhaker
  456.     Mateti, Wright State University
  457.     
  458.     Toward Application-Based Approaches to System Development: A
  459.     Theoretical Perspective
  460.     Iris Vessey, Penn State University, Robert L. Glass, Comput-
  461.     ing Trends
  462.     
  463.     
  464.     
  465.     PARALLEL PROCESSING I - Room CC141
  466.     Session Chair: Ming-fang Wang University of Central Arkansas
  467.     
  468.     On the Performance of a Direct Parallel Method  for  Solving
  469.     
  470.     
  471.     
  472.     
  473.     
  474.     
  475.     
  476.     
  477.     
  478.                                - 8 -
  479.     
  480.     
  481.     Separable  Elliptic  Equations Based on  Block Cyclic Reduc-
  482.     tion
  483.     Kevin E. Kelleher, National  Severe  Storms  Laboratory,  S.
  484.     Lakshmivarahan & Sudarshan K. Dhall, University of Oklahoma
  485.     
  486.     Computation of the Singular Value  Decomposition  on  Arrays
  487.     With Pipelined Optical Buses
  488.     Yi Pan,  University  of  Dayton,  Mounir  Hamdi,  Hong  Kong
  489.     University of Science & Technology
  490.     
  491.     Implementing Progress Indicators for Recursive Algorithms
  492.     Dave Berque, & Jeffrey  Edmonds,  DePauw  University,   Mark
  493.     Goldberg, Rensselaer Polytechnic Institute
  494.     
  495.     Packet Delay Prediction in  Datagram Mesh Systems
  496.     Zhizhang Shen, Peter Drexel,  Liam  Urbach,  Plymouth  State
  497.     College
  498.     
  499.     
  500.     
  501.     LOGIC PROGRAMMING I - Room CC142
  502.     Session Chair:  Ralph Wilkerson University of Missouri-Rolla
  503.     
  504.     A Versatile Module System for Prolog Mapped to Flat Prolog
  505.     Isambo Kareli, Evangelos Pelecanos,  &  Constatin  Halatsis,
  506.     University of Athens
  507.     
  508.     The Unfolding  Problem  in  Logic  Program  Transformations:
  509.     Decidability Results
  510.     Khaled Bsaies & Fransis Alexandre, CRIN-CNRS/INRIA-Lorraine
  511.     
  512.     A Probabilistic Model for Natural Language Understanding
  513.     Michael Atherton, University of  Tennessee-Knoxville,  Debra
  514.     A. Lelewer, California State Polytechnic University, Pomona,
  515.     California
  516.     
  517.     Stream Driven Query Processing in a Database
  518.     K.J.Danhof, N.C.K. Phillips,  A.  Vohra,  Southern  Illinois
  519.     University
  520.     
  521.     
  522.     
  523.     FORTH WORKSHOP - Room CC143
  524.     
  525.     
  526.     
  527.     TECHNICAL SESSIONS, MONDAY, FEBRUARY 15, 3:30-4:45
  528.     
  529.     
  530.     
  531.     OBJECT-ORIENTED PROGRAMMING II - Room CC138
  532.     Session Chair:Shirley Browne Hope University
  533.     
  534.     An  Object  Oriented  Application/Programmer  Interface  for
  535.     
  536.     
  537.     
  538.     
  539.     
  540.     
  541.     
  542.     
  543.     
  544.                                - 9 -
  545.     
  546.     
  547.     Network Programming
  548.     Jennifer  Howell,  Plymouth  State   College,    Ming   Shu,
  549.     MacAlester College, Robert Wohlfarth, Taylor University
  550.     
  551.     Class Library Management System for Object-Oriented Program-
  552.     ming
  553.     Kekwee Ng, Jian Ma, and Gi-Moon Nam, University of New South
  554.     Wales
  555.     
  556.     Dynammic Selection  and  Reuse  of  Implementations  in  the
  557.     Object- Oriented Programming Paradigm
  558.     H.  M.  Al-Haddad,   Marshall  University,   K.  M.  George,
  559.     Oklahoma  State  University,  Stillwater and Thomas Gersten,
  560.     ITESM, Mexico City
  561.     
  562.     
  563.     
  564.     MEDICAL APPLICATIONS I - Room CC139
  565.     Session Chair: ______________________
  566.     
  567.     A PC-Controlled Data Acquisition System  for  Transabdominal
  568.     Recording of Cardiac Activity in the Human Fetus
  569.     Donna Mooney, University of Arkansas, Little Rock
  570.     
  571.     Histogram Editing for Semi-Quantative Data Input in Interac-
  572.     tive Suimulations
  573.     R. R. Goforth, D. Berleant, K.  A.  Bognaes,  University  of
  574.     Arkansas,  Fayetteville  and  Harry  F. Bushar, Federal Drug
  575.     Administration
  576.     
  577.     Distributing Molecular Biology  Information:  Gopher,  WAIS,
  578.     and the University of Houston Gene Sevrver
  579.     Diaiel B. Davison, Univeristy of Houston
  580.     
  581.     
  582.     
  583.     SOFTWARE REUSABILITY IV - Room CC140
  584.     Session Chair: Robert Glass Computing Trends
  585.     
  586.     The Data Derivation Model:  A  Program  Specification  Tech-
  587.     nique That Improves Reusability
  588.     Hee Beng and Kuan Tan, Tok Wang Ling, Stan Jarzbek, and  Yin
  589.     Seong Ho, National University of Singapore
  590.     
  591.     Filtering Import: A Basic Mechanism for Reusability
  592.     M. Ancona & P. Nieddu, Universita di Genova
  593.     
  594.     Software-Based  Reconfiguration  of  Quadtree  Embedding  in
  595.     Hypercubes in Response to Node Failures
  596.     Vinayak Hedge, S. Sitharama Iyengar, Louisiana State Univer-
  597.     sity, Kirshnakumar Narayan, Digital Equipment Corporation
  598.     
  599.     
  600.     
  601.     
  602.     
  603.     
  604.     
  605.     
  606.     
  607.     
  608.     
  609.     
  610.                                - 10 -
  611.     
  612.     
  613.     PARALLEL PROCESSING II - Room CC 141
  614.     Session Chair: ____________________________________
  615.     
  616.     Distributive Join Algorithm for  Shared-Memory  Multiproces-
  617.     sors
  618.     Soon. M. Chung & Jaerheen Yang, Wright State University
  619.     
  620.     Parallel  Global  Adaptive  Integration  and  Dynamic   Load
  621.     Balancing on Loosely Coupled Systems
  622.     Ignatios Vakalis,  Capital  University,  Elise  de  Doncker,
  623.     Western Michigan University
  624.     
  625.     Molecular Dynamics with the Fast Multipole Algorithm
  626.     John A. Board Jr. & James F. Leathrum Jr., Duke University
  627.     
  628.     
  629.     
  630.     GRAPHICS  II - Room  CC142
  631.     Session Chair: _____________________________
  632.     
  633.     Error Free Incremental Computation of  Voronoi  Diagrams  in
  634.     the Plane
  635.     Gary A. Hyslop & Edmund  A.  Lamagna,  University  of  Rhode
  636.     Island
  637.     
  638.     An Intelligent Approach to Discrete Sampling  of  Parametric
  639.     Curves
  640.     Chaman L. Sabharwal, University of Missouri-Rolla
  641.     
  642.     Recovering 3D Image Parameters  From  Corresponding  Two  2D
  643.     Images
  644.     Chaman L. Sabharwal, University of Missouri-Rolla
  645.     
  646.     
  647.     
  648.     FORTH  WORKSHOP - Room CC143
  649.     
  650.     
  651.     
  652.     TUESDAY, FEBRUARY 16,1993
  653.     
  654.     
  655.     
  656.     OPENING CEREMONIES OF THE ACM/CSC AND ACM STATE OF THE ASSO-
  657.     CIATION ADDRESS Westin Grand Ballroom - 8:00-8:30
  658.     
  659.     John F. Buck, Conference Chair, CSC, Gwen  Bell,  President,
  660.     ACM
  661.     
  662.     CSC/SAC JOINT SESSION,  CSC  KEYNOTE  ADDRESS  Westin  Grand
  663.     Ballroom - 8:30-9:30
  664.     
  665.     Raymond Kurzweil: "The Emergence of  True  Machine  Intelli-
  666.     gence in the Twenty-first Century"
  667.     
  668.     
  669.     
  670.     
  671.     
  672.     
  673.     
  674.     
  675.     
  676.                                - 11 -
  677.     
  678.     
  679.     TECHNICAL SESSIONS, TUESDAY, FEBRUARY 16, 10:00 - 11:45
  680.     
  681.     
  682.     
  683.     EXPERT SYSTEMS  II- Room CC 138
  684.     Session Chair: Moti Schneider Florida Institute of  Technol-
  685.     ogy
  686.     
  687.     Using a High Level Knowledge Representation for Expert  Sys-
  688.     tems Knowledge Acquistion and Prototyping
  689.     Ramon Brena, Jose-Luis Aguirre, Olivia  Barron,  Maria-Nelly
  690.     Garcia, ITESM, Monterrey, Mexico
  691.     
  692.     Use of Object Oriented Structures to Represent Knowledge  in
  693.     Expert Systems
  694.     Gerard Chew, Moti Schneider, Florida Institute of  Technolo-
  695.     gyand Abraham Kandel,  University of South Florida
  696.     
  697.     Qualitative Simulation - A Feedback Control System
  698.     Angel Syang and Yichiang Syang ,University of Texas
  699.     
  700.     Expert Systems for Economic/Business Forecasting
  701.     E. Shnaider, P. Hurtado  & M. Schneider,  Florida  Institute
  702.     Technology
  703.     
  704.     
  705.     
  706.     PARALLEL PROCESSING III  and COGNITIVE SCIENCE- Room CC139
  707.     Session Chair: ____________________________
  708.     
  709.     Load Balancing Techniques for Dynamic Programming Algorithms
  710.     on Hypercube Multiprocessors
  711.     Steve A. Strate & Roger  L.  Wainwright,  The  Univesity  of
  712.     Tulsa
  713.     
  714.     A Parallelized Search Strategy for Solving  a  Multicriteria
  715.     Aircraft Routing Problem 1993
  716.     James J. Grimm, Andrew J.  Terzuoli,  Gary  B.  Lamont,  Air
  717.     Force Institute of Technology
  718.     
  719.     A Comparison of Concept Recognition Skills
  720.     Melvin K. Richardson, Brigham Young University
  721.     
  722.     Object-Oriented Software  for  the  Analysis  of  Conceptual
  723.     Hierarchies in Thesauri
  724.     Robert E. Kent, University of Arkansas, Little Rock
  725.     
  726.     
  727.     
  728.     SOFTWARE ENGINEERING II- Room CC 140
  729.     Session Chair: ___________________________
  730.     
  731.     Simulation Control Environment: A Modular Approach to  Simu-
  732.     lation Software
  733.     
  734.     
  735.     
  736.     
  737.     
  738.     
  739.     
  740.     
  741.     
  742.                                - 12 -
  743.     
  744.     
  745.     Daniel T. Wick, Nagy M. Shehad  and  Ankur  R.  Hajare,  The
  746.     MITRE Corporation
  747.     
  748.     Using Groupware to Develop Space Station Procedures for  On-
  749.     Orbit Research
  750.     Daniel T. Wick, James J. Bovenzi and Ankur  R.  Hajare,  The
  751.     MITRE Corporation
  752.     
  753.     An Empirical Study of Three Common Software Complexity Meas-
  754.     ures
  755.     Michael B. O'Neal, Louisiana Tech University
  756.     
  757.     A Hierarchical Structure for Fault  Tolerant  Reactive  Pro-
  758.     grams
  759.     Andrea  Clematis   INA/CNR,  Genova,  Italy   and   Vittoria
  760.     Gianuzzi, Universita de Genova, Italy
  761.     
  762.     
  763.     
  764.     DATABASE II- Room CC 141
  765.     Session Chair:Thiel Chang GAK, The Netherlands
  766.     
  767.     GELEM, A Multilingual Lexicons Management System
  768.     Pierre  Losco,  Hassane  Chelyah,   Moncef   Mlouka,National
  769.     Research Institute in Informatics & Automation, France
  770.     
  771.     Automatic Logical Navigation for Relational Databases
  772.     Paul E. Reimers, Wright-Patterson Air Force Base,  and  Soon
  773.     M. Chung, Wright State University
  774.     
  775.     An Integrated Solution for Managing Replicated Data in  Dis-
  776.     tributed Systems
  777.     Panduranga Rao  Adusumilli  &  Lawrence  J.  Osborne,  Lamar
  778.     University
  779.     
  780.     On The Automation of Physical Database Design
  781.     Sunil Choenni and Henk M.  Blanken,  University  of  Twente,
  782.     Thiel Chang,GAK Amsterdam The Netherlands
  783.     
  784.     
  785.     
  786.     LOGIC PROGRAMMING II-Room CC 142
  787.     Session Chair: Ralph Wilkerson Univesity of Missouri-Rolla
  788.     
  789.     Ushell:  An Environment for Introduction to  Logic  Program-
  790.     ming
  791.     L. Umit Yalcinalp, BP Research
  792.     
  793.     Finding Fixed Point Combinators Using Prolog
  794.     Richard Rankin & Ralph Wilkerson,  University  of  Missouri-
  795.     Rolla
  796.     
  797.     Program Transformation for the Longest Upsequence Set  Prob-
  798.     lem
  799.     
  800.     
  801.     
  802.     
  803.     
  804.     
  805.     
  806.     
  807.     
  808.                                - 13 -
  809.     
  810.     
  811.     Haklin Kim, University of Tennessee
  812.     
  813.     Dynamic Inferencing With Generalized Resolution
  814.     Gordon Beavers,  University  of  the  Ozarks,  Hal  Berghel,
  815.     University of Arkansas, Fayetteville
  816.     
  817.     
  818.     
  819.     FORTH WORKSHOP - Room CC 143
  820.     
  821.     
  822.     
  823.     KEYNOTE SPEAKER  FOR  PLENARY  SESSION  (LUNCHEON)  TUESDAY,
  824.     FEBRUARY 16 12:00 - 1:15 HYATT BALLROOM A/B
  825.     
  826.     Gerald Engel: "Federal Funding Opportunities  for  Computing
  827.     Professionals"
  828.     
  829.     Dr. Engel is the  Program  Director  of  Cross  Disciplinary
  830.     Activities  at  the  National Science Foundation.  He super-
  831.     vises the administration of both the Educational and  Insti-
  832.     tutional  Infrastructure programs, as well as the Instrumen-
  833.     taion and Research Initiation projects for  the  Foundation.
  834.     He  was  awarded  the  prestigious ACM Distinguished Service
  835.     Award for 1992.  Dr. Engel came to the NSF from the  Univer-
  836.     sity  of  Connecticut,  where he was Stamford Profeeessor of
  837.     Computer Science and Electrical Engineering.
  838.     
  839.     
  840.     
  841.     TECHNCAL SESSIONS, TUESDAY FEBRUARY 16 1:30 - 3:00
  842.     
  843.     
  844.     
  845.     SPECIAL TOPICS - Room  CC138
  846.     Session Chair: ______________________
  847.     
  848.     A Model  for Studying Ambiguity in SGML Element Declarations
  849.     R. W. Matzen, K.M. George & G. E.  Hedrick,  Oklahoma  State
  850.     University
  851.     
  852.     Effect of Probabilistic Error Checking  Procedures  on  Per-
  853.     formability of Robust Objects
  854.     Ing-Ray Chen, University of Mississippi
  855.     
  856.     Computer-Based Derivation of Flux and Concentration  Control
  857.     Coefficients of Metabolic Control Theory
  858.     Arthur R. Schulz, Indiana University
  859.     
  860.     
  861.     
  862.     SOFTWARE ENGINEERING III - Room - CC139
  863.     Session Chair: _________________________
  864.     
  865.     
  866.     
  867.     
  868.     
  869.     
  870.     
  871.     
  872.     
  873.     
  874.                                - 14 -
  875.     
  876.     
  877.     A Linkage Analyzer for Process Management
  878.     Alan T. Yaung, IBM Corporation, Rochester, MN
  879.     
  880.     Comparing and Assessing Programming Languages:  Basis for  a
  881.     Qualitative Methodology
  882.     Jarallah Alghamdi & Joseph E. Urban, Arizona  State  Univer-
  883.     sity
  884.     
  885.     Syntax-directed Editing Environments:  Issues and Features
  886.     Amir A. Khwaja & Joseph E. Urban, Arizona State University
  887.     
  888.     Development and Analysis of a Wide Area Multimedia  Informa-
  889.     tion System
  890.     M. Hitz & H. Wethner, University of Vienna, Austria
  891.     
  892.     
  893.     
  894.     NETWORKS I - Room CC140
  895.     Session Chair: ___________________________
  896.     
  897.     Time-Space Optimal Convex Hull Algorithms
  898.     Hla Min & Si-Qing Zheng, Louisiana State University.  Batton
  899.     Rouge
  900.     
  901.     Sparse Hypercube-Like Interconnection Networks
  902.     Si-Qing Zheng, Louisiana State University,  Shahram  Latifi,
  903.     University of Nevada-Las Vegas
  904.     
  905.     A Fast Algorithm for Generalized Network Location Problems
  906.     Dipti  S.  Joshi,  Sridhar  Radhakrishnan,   University   of
  907.     Oklahoma-  Norman,  Chandrasekran  Narayanan,  University of
  908.     Central Florida, Orlando
  909.     
  910.     
  911.     
  912.     INFORMATION RETRIEVAL - Room CC141
  913.     Session Chair: __________________
  914.     
  915.     Cluster Characterization in Information Retrieval
  916.     Sanjiv K. Bhatia University of Missouri-St. Louis & Jitender
  917.     S. Deogun, University of Nebraska, Lincoln
  918.     
  919.     HypIR:  A Hypertext-Based Approach to Information Retrieval
  920.     Fazli Can & Yuan-Ming Lee, Miami University,Oxford, Ohio
  921.     
  922.     Linguistico-Statistical and Logics Applied  for  Documentary
  923.     System
  924.     Omar  Larouk,   Nationale   Superieure   des   Sciences   de
  925.     l'Information et des Bibliotheques, France
  926.     
  927.     A Methodology for the Automatic Construction of a  Hypertext
  928.     for Information Retrieval
  929.     Maristella Agosti and Fabio Crestani, Universita' di Padova,
  930.     Itlay
  931.     
  932.     
  933.     
  934.     
  935.     
  936.     
  937.     
  938.     
  939.     
  940.                                - 15 -
  941.     
  942.     
  943.     GENETIC ALGORITHMS  II- Room CC 142
  944.     Session Chair: __________________________________
  945.     
  946.     Dynamic Trajectory Routing using an Adaptive Search Strategy
  947.     Sam  R.  Thangiah,  Slippery  Rock  University,  Kendall  E.
  948.     Nygard, North Dakota State University
  949.     
  950.     An  Efficient  Storage  Scheme  for  Alignment  of   Genetic
  951.     Sequences
  952.     Yi-Wen Guu, University of Illinois at Urbana-Champaign
  953.     
  954.     The Effect of Population Structure on the  Rate  of  Conver-
  955.     gence of Genetic Algorithms
  956.     Po  Hsiang  Chu,  Depaul  University,  Susan  Dudley,  Brown
  957.     University
  958.     
  959.     
  960.     
  961.     FORTH WORKSHOP - Room CC143
  962.     
  963.     
  964.     
  965.     TECHNICAL SESSIONS, TUESDAY, FEBRUARY 16, 1992, 3:30 - 5:00
  966.     
  967.     
  968.     
  969.     NEURAL NETWORKS - Room CC138
  970.     Session Chair: __________________________
  971.     
  972.     Analysis of Upper Bound  in  Valiant's  Model  for  Learning
  973.     Bounded CNF Expressions
  974.     Shankar Vaidyanathan  &  S.  Lakshmivarahan,  University  of
  975.     Oklahoma
  976.     
  977.     Segmentation of Merged Characters  by  Neural  Networks  and
  978.     Shortest-Path
  979.     Jin Wang & Jack Jean, Wright State University
  980.     
  981.     3-dimensional Reconstruction  by  Silhouettes  to  Construct
  982.     Training Patterns for Neural Networks
  983.     Jens Burkert & Thorsten Brendel, Carl von Ossietsky  Univer-
  984.     sitat, Oldenburg, Germany
  985.     
  986.     
  987.     
  988.     MANAGEMENT INFORMATION SYSTEMS  and SCHEDULING - Room CC139
  989.     Session Chair: ___________________________
  990.     
  991.     On Concurrent Execution of Information Systems Applications
  992.     D. Motzkin, E. Jarret,  D.  Hager,  M.  Kerstetter,  Western
  993.     Michigan University
  994.     
  995.     Strategic Sourcing for Information Processing Functions
  996.     Louis A. LeBlanc, University of Arkansas
  997.     
  998.     
  999.     
  1000.     
  1001.     
  1002.     
  1003.     
  1004.     
  1005.     
  1006.                                - 16 -
  1007.     
  1008.     
  1009.     An Integrated Optimal Task Assignment Policy
  1010.     Sub Ramakrishnan, Larry Dunning, &  Thomas  Nitsch,  Bowling
  1011.     Green State University
  1012.     
  1013.     The Real-Time Producer/Consumer Paradigm:   A  Paradigm  for
  1014.     the Construction of Efficient, Predictable Real-Time Systems
  1015.     Kevin Jeffay & Dan Poirier, University  of  North  Carolina-
  1016.     Chapel Hill
  1017.     
  1018.     
  1019.     
  1020.     NETWORKS II-Room CC 140
  1021.     Session Chair: ____________________________
  1022.     
  1023.     The Com-Star Network:  A New Family of Star Graph Networks
  1024.     Bin Cong, South Dakota State University
  1025.     
  1026.     Centralized Packet Radio Network:  A Communication  Approach
  1027.     Suited for Data  Collection in a Real-Time Flash Flood Pred-
  1028.     iction System
  1029.     Manuel Jimenez Cedeno and Ramon  Vasquez Espinasa, Univesity
  1030.     of Puerto Rico
  1031.     
  1032.     OSI Group Communication Support for a Date Planning Applica-
  1033.     tion
  1034.     William F. Millen, University of Missouri, Kansas City
  1035.     
  1036.     An Efficient  Distributed  Algorithm  to  Find  Articulation
  1037.     Points, Bridges and Biconnected Components of a Network
  1038.     Vinayak G. Hegde and  Sitharama  S.  Iyengar,Louisana  State
  1039.     University
  1040.     
  1041.     
  1042.     MEDICAL APPLICATIONS II - Room CC141
  1043.     Session Chair: ______________________
  1044.     
  1045.     An Object-Oriented Genetics Information System
  1046.     Elizabeth Shoop, University of Minnesota
  1047.     
  1048.     ADAMS: An Object Oriented System  for  Epidemiological  Data
  1049.     Manipulation
  1050.     Fabrizio L. Ricci, ISRDS-CNR, Rome, Italy
  1051.     
  1052.     An Intelligent Vidor Pattern Generator for Use in Opthalmol-
  1053.     ogy
  1054.     M..S.Obaidat, City University of New York
  1055.     
  1056.     
  1057.     
  1058.     GENETIC ALGORITHMS  III - Room CC 142
  1059.     Session Chairs: ___________________________________
  1060.     
  1061.     Linear Discriminant Analysis Using Genetic Algorithms
  1062.     Aaron H. Konstam, Trinity University
  1063.     
  1064.     
  1065.     
  1066.     
  1067.     
  1068.     
  1069.     
  1070.     
  1071.     
  1072.                                - 17 -
  1073.     
  1074.     
  1075.     Minimal Cost Set Covering Using Probabilistic Methods
  1076.     Sandip Sen, University of Michigan
  1077.     
  1078.     Parallelization and Analysis of A Linear Adaptive  Filtering
  1079.     Algorithm
  1080.     Richard K. Acree, David T. Croley, Nasr Ullah, Mario J. Gon-
  1081.     zalez, Darioush M. Samani, University of Texas at Austin
  1082.     
  1083.     
  1084.     
  1085.     
  1086.     
  1087.     
  1088.     
  1089.     
  1090.     
  1091.     
  1092.     
  1093.     
  1094.     
  1095.     
  1096.     
  1097.     
  1098.     
  1099.     
  1100.     
  1101.     
  1102.     
  1103.     
  1104.     
  1105.     
  1106.     
  1107.     
  1108.     
  1109.     
  1110.     
  1111.     
  1112.     
  1113.     
  1114.     
  1115.     
  1116.     
  1117.     
  1118.     
  1119.     
  1120.     
  1121.     
  1122.     
  1123.     
  1124.     
  1125.     
  1126.     
  1127.     
  1128.     
  1129.     
  1130.     
  1131.     
  1132.     
  1133.     
  1134.     
  1135.