SAC '96 Programme

Saturday, February 17, 1996


Sunday, February 18, 1996

8:30 - 12:00
Multimedia Workshop (Room: 414,415)
1:30 - 5:00 SAC Tutorials

Monday, February 19, 1996

8:30 - 9:00 (Room: Salon C & D)
Opening Remarks
9:00 - 10:00 (Room: Salon C & D)
Keynote: Ada 95 and Open Systems: A Recipe for Success Prof. Robert Dewar, New York University
10:30 - 12:00 Technical Papers
Artificial Intelligence (Room 409)
Session Chair: Blayne E. Mayfield, Oklahoma State University
  • A Visual Logic. John R. Fisher, Luu Tran, California State Polytechnic University
  • A Stroke-Order Free Chinese Handwriting Input System Based on Relative Stroke Positions and Back-Propagation Networks. Wing-nin Leung, Kam-shun Cheng, Hong Kong Polytechnic University
  • Integrating Knowledge Base and Database. John Debenham, University of Technology, Sydney
  • Using Artificial Neural Nets to Predict Academic Performance. Al Cripps, Middle Tennessee State University
Parallel and Distributed Algorithms (Room 411)
Session Chair: Gary Lamont, Air Force Institute of Technology
  • Maintenance of Tree Structured Computations on Parallel and Distributed Computer Systems. Keqin Li, State University of New York at New Paltz
  • On the Scalability of Parallel Triplet Generation for Protein Crystallography. Shankara Ramamurthy, Bryant W. York, Northeastern University Carmelo Giacovazzo, Campus Universtario, Italy
  • Data Parallel Implementation of Surface-to-Surface Intersection. Terence M. Burke, McDonnell Douglas Aerospace Chaman L. Sabharwal, University of Missouri-Rolla
  • A Decentralized Communication Efficient Distributed Shared Memory. Legand I. Burge III, Mitchell L. Neilsen, Oklahoma State University
  • Investigating Monitoring Configurations. Hasina Abdu, Hanan Lutfiyya, Michael A. Bauer, The University of Western Ontario, Canada
Programming Languages I (Room: 412)
Session Chair: Barrett Bryant, University of Alabama-Birmingham
  • Verifiable Partial Specifications for Logic Programming. Corin A. Gurr, University of Edinburgh, UK
  • Segment Order Preserving Copying Garbage Collection for WAM Based Prolog. Bart Demoen, Geert Engels, Katholieke Universiteit Leuven, Belgium Paul Tarau, Universite' de Moncton, Canada
  • Incremental Querying in the Concurrent CLP Language IFD-Constraint Pandora. J. H. M. Lee, H. F. Leung, The Chinese University of Hong Kong,
Fuzzy Applications I (Room: 408)
Session Chair: Ali Asgharzadeh, Hughes Space,LA, USA
  • Invited Speech: Fuzzy logic in "non-Fuzzy" textbooks Today and Yesterday. Bernd Reusch, University of Dortmund, Germany.
  • A Fuzzy Apprroach to Automatic Data Locality Optimization. Claudia Leopold, Friedrich-Schiller-Universitat Zena, Germany
  • Genetic Algorithms for Non-Linear Adaptive Filters in Digital Signal Processing. Andre Neubauer, Duisburg Gerhard-Mercator-University
  • Fuzzy Neural Network Models For Clustering. A. D. Kulkarni, V.K. Muniganti, The University of Texas at Tyler
  • Image Analysis and Enhancement Using Fuzzy Rule Based Expert System. Ali Asgharzadeh, Hughes Space and Communications Company
1:30 - 3:00 Technical Papers:
Database Technology I (Room: 409)
Session Chair: Hal Berghel, University of Arkansas
  • Agent-Based Design of Distributed Hypertext. Antonina Dattolo, Vincenzo Loia, Universita di Salerno, Italy
  • A Mechanism for Automatic Object Locking in C++-Based Object-Oriented Databases. Yong S. Jun, Suk I. Yoo, Seoul National University, Korea
  • Crash Recovery for Real-Time Main Memory Database Systems. Jing Huang, Le Gruenwald, The University of Oklahoma
  • Extending Workflow-Management-Systems by a Dialogical Component. H. Wedekind, University Erlangen-Nurnberg, Germany
Computer And Telecommunication Networks (Room: 411)
Session Chair: Mohammad S. Obaidat, City University of New York
  • A Simulation Study of the Mechanisms to Enhance TCP Protocol in Wide Area Computer Networks77. K. M. Khalil, Bellcore Y. S. Sun, National Taiwan University M. S. Obaidat, City University of New York
  • Finding Investigator Tours in Telecommunication Networks Using Genetic Algorithms. Cory J. Hoelting, Dale A. Schoenefeld, Roger L. Wainwright, The University of Tulsa
  • Developing a Managed System in the OSI Network Management. Young-Chul Shim, Hong-Ik University, Korea
  • A Simple Self-Stabilizing Reset Protocol. Amit Anil Nanavati, Louisiana State University
Programming Languages II (Room: 412)
Session Chair: Steve Grimaldi, UHD
  • Executing Specifications of Distributed Computations With Chronolog(MC) Chuchang Liu, Mehmet A. Orgun, Macquarie University, Australia
  • SNACC: A Parser Generator for Use with Miranda. D. A. Turner, University of Kent at Canterbury, UK
  • Bootstrapping Higher-Order Program Transformers from Interpreters. Michael Sperber, Universitat Tubingen, Germany Robert Glu"ck, University of Copenhagen, Denmark Peter Thiemann, Universitat Tubingen, Germany
Fuzzy Applications II (Room: 408)
Session Chair: G. Pasi, G. Bordogna and P. Bosc
  • FQUERY for Access: Towards Human Consistent Querying User Interface. Slawomir Zadrozny, Janusz Kacprzyk, Polish Academy of Sciences, Poland
  • A Fuzzy Information Retrieval and Management System and Its Applications. Pascal Subtil, Noureddine Mouaddib, Odile Foucaut, CRIN/CNRS, France
  • Extending the Similarity-Based Fuzzy Object-Oriented Data Model. Demet Aksoy, University of Maryland Adnan Yazici, Middle East Technical University, Turkey Roy George, Clark Atlanta University
  • Fuzzy Inclusion in Database and Information Retrieval Query Interpretation. G. Bordogna, CNR/ITIM, Italy P. Bosc, IRISA/ENSSAT, France G. Pasi, CNR/ITIM, Italy
  • Fuzzy Techniques for Software Reuse. E. Damiani, Universita di Pavia, Italy M.G. Fugini, Politecnico di Milano, Italy
3:30 - 5:00 Technical Papers:
Database Technology II (Room: 409)
Session Chair: Young-Chul Shim, Hong-Ik University, Korea
  • Segmented Fuzzy Checkpointing for Main Memory Databases. Jun-Lin Lin, Margaret H. Dunham, Southern Methodist University
  • Indexing a Transaction-Decision Time Database.. Mario A. Nascimento, Margaret H. Dunham, Southern Methodist University
  • Query Optimisation in Multidatabase Systems Using Query Classification. Banchong Harangsri, John Shepherd, Anne Ngu, The University of New South Wales, Australia
  • Adaptive Distributed Data Management with Weak Consistent Replicated Data. Richard Lenz, University of Erlangen-Nuremberg, Germany
Mobile Computing Systems And Applications (Room: 411)
Session Chair: Dorota M. Huizinga, California State University-Fullerton
  • An Experiment On A Concurrent Object-Oriented Programming Language98. Chang-Hyun Jo, Kyonggi University, Korea
  • Disconnected Operation for Heterogenous Servers. Dorota M. Huizinga, Patrick Mann, California State University, Fullerton
  • Distributed Disconnected Databases. Leslie Klieb
  • A Handover Paradigm for Wireless ATM LANs. Chai-Keong Toh, University of Cambridge Computer Laboratory, UK
Programming Languages III (Room 412)
Session Chair: Hisham Al-Haddad, Marshall University
  • Specification of a Functional Synchronous Dataflow Language for Parallel Implementations with the Denotational Semantics. Guilhem de Wailly, Fernand Boe'ri, Universite' de Nice, France
  • An Enabling Optimization for C++ Virtual Functions. Bradley M. Kuhn, David W. Binkley, Loyola College in Maryland
  • A Persistent Runtime System Using Persistent Data Structures. Zhiqing Liu, AT&T Bell Laboratories
  • OFFERS - A Tool for Hierarchical Implicit Analysis of Sequential Object-Oriented Programs. Rajeev R. Raje, Indiana University-Purdue University Daniel J. Pease, Syracuse University Edward T. Guy III, Popkin Software Inc.
Fuzzy Applications III- Handling Imprecision in Software development (Room: 408)
Session Chair: E. Damiani and M. Fugini, Italy
  • Design Concepts As Basis For Organizing Software Catalogs. Mehdi Jazayeri, Georg Trausmuth, Technical University Vienna, Austria
  • A Reusable Adaptative Fuzzy Controller Architecture. D. Rine, M. Ahmed, J. Chen, George Mason University
  • Intelligent Prediction Techniques for Software Quality Models. Ekkehard Baish, University of Stuttgart, Germany Christof Ebert, Alcatel SEL AG, Germany
  • A Taxonomy for Identifying a Software Component from Uncertain and Partial Specifications. Giancarlo Succi, Francesco Baruchelli, Marco Ronchetti, Universita di Trento, Italy
5:30 -6:30 (Room: 409)
SIGAPP Meeting
7:00 - 9:00 (ROOM: SALON I)

Tuesday, February 20, 1996

8:30 - 10:00
Technical Papers:
Database Technology III (Room: 409)
Session Chair: Chang-Hyun Jo, Kyonggi University, Korea
  • Dealing With Incompatible Presumptions of Commit Protocols in Multidatabase Systems. Yousef J. Al-Houmaily, Panos K. Chrysanthis, University of Pittsburgh
  • A Heuristic Algorithm for Partition Strategy in Distributed Query Processing. Chengwen Liu, Hao Chen, DePaul University
  • A Systematic Approach to Creating and Maintaining Software Documentation. Allison L. Powell, James C. French, John C. Knight, University of Virginia
  • The Implementation of a Chronicle Collection Class in Smalltalk/DB. Paul Schleifer, Yuan Sun, Dilip Patel, South Bank University, London
Genetic Algorithms I (Room: 411)
Session Chair: Gary B. Lamont, Air Force Institute of Technology
  • A Family Elitist Approach in Genetic Algorithms. Padmanabha V. Bedarahally, Rafael A. Perez, Weon S. Chung, University of South Florida
  • Representing Retilinear Steiner Trees in Genetic Algorithms. Bryant A. Julstom, St. Cloud State University
  • A Comparison of Local Search Algorithms for Radio Link Frequency Assignment Problems. S. Hurley, S.U. Thiel, University of Wales, Cardiff D. H. Smith , University of Glamorgan
  • A Genetic Algorithm for the Minimum Broadcast Time Problem Using a Global Precedence Vector. Cory J. Hoelting, Dale A. Schoenefeld, Roger L. Wainwright, The University of Tulsa
Computational Logic And Logic Programming (Room: 412)
Session Chair: Ralph Wilkerson, University of Missouri-Rolla
  • On Quantitative Measurement of Negation in Logic Programming. Howard C. Wasserman, Keitaro Yukawa, Queens College Zhizhang Shen, Plymouth State College
  • Implementing Non-Linear Constraints with Cooperative Solvers. Eric Monfroy, Michael Rusinowitch, Rene Schott, CRIN-CNRS & INRIA-Lorraine, France
  • R-by-C Crozzle: An NP-Hard Problem. Michelle Gower, Ralph Wilkerson, University of Missouri-Rolla
Panel Session: The Future of Soft Computing and Intelligent System (Room: 408)
Moderator: Bernd Reusch, Germany


  • E. Damiani, University of Pavia, Italy
  • P. Bosc, ESSANT,France
  • D. Rine, George Mason University, USA
  • G. Succi, University of Trento, Italy
  • G. Trausmuth, University of Wien, Austria
  • R. Langary, Univ. of Houston, USA
10:30 - 12:00 Technical Papers
Small Computing Systems (Room: 409)
Session Chair: Richard McBride, University of South Dakota
  • Security Considerations for Active Messages. R. A. McBride, University of South Dakota
  • A Neural Network for Speedy Trials. Ray R. Hashemi, University of Arkansas at Little Rock & National Center for Toxicological Research Therese M. Schafer, University of Arkansas at Little Rock William G. Hinson, National Center for Toxicological Research John R. Talburt, Acxiom Corporation
  • Decentralized Routing Algorithms for Automated Guided Vehicles. Jeffrey T. L. Soh, Wen-Jing Hsu, Shell-Ying Huang, Adrian C. Y. Ong, Nanyang Technological University, Singapore
  • An Arabic Programming Environment. AbdulMalik S. Al-Salman, Oklahoma State University
Genetic Algorithms II (Room: 411)
Session Chair: Ramana L. Rao, Los Alamos National Laboratory
  • Evolutionary Discovery of DFA Size and Structure. Bryant A Julstom, St. Cloud State University
  • Reducing Disruption of Superior Building Blocks in Genetic Algorithms. Arthur L. Corcoran, Octel Network Services Roger L. Wainwright, The University of Tulsa
  • Steiner Systems and The Boolean Satisfiability Problem. Stephen J. Hartley, Drexel University
  • A Rough-Genetic Approach for Classification of Complex Data. Ray Hasemi, University of Arkansas at Little Rock & National Center for Toxicological Research Bruce A. Pearce, Ramin B. Arani, William G. Hinson, Merle G. Paule, National Center for Toxicological Research
Software Engineering (Room: 412)
Session Chair: Brajendra Panda, Alabama A&M University
  • Program Generator for RS-232C Instruments. Anukrom Punyashthiti, Datamat Public Company Ltd., Bangkok Dean Lance Smith, Howard University
  • Enhancing Design Reusability by Clustering Specifications. Youwen Ouyang, Doris L. Carver, Louisiana State University
  • A New Approach to Software Tool Interoperability. Yimin Bao, Ellis Horowitz, University of Southern California
  • An Object-Oriented Design and Implementation of Reusable GraphObjects with C++: A Case Study. Wing Ning Li, Ravi Kiran, University of Arkansas
Fuzzy Applications IV (Room: 408)
Session Chair: Massimo Masseti, Italy
  • W.A.R.P. and FUZZYSTUDIOTM: An Easy and Fast Way to Implement, With Low Cost, Fuzzy Logic Control Systems. A. Cucuccio, B. Giacalone, G. Sicurella, - Co.Ri..M.Me., Italy
  • W.A.R.P.-ADB A Board Family for Fuzzy Logic Applications Development. A. Cucuccio, G. Grasso, N. Nicosia, B. Russo, Co.Ri..M.Me., Italy
  • VLSI Design of a Fuzzy Chip That Processes 2-4 Inputs Every 160-320 ns Whichever Is The Fuzzy System. Alessandro Gabrielli, Enzo Gandolfi, Massimo Masetti, University of Bologna, Italy
  • Nonlinear Smoothing of Signals By Applying Fuzzy Clustering To Local Points. Mahmood Doroodchi , Ali M. Reza, University of Wisconsin - Milwaukee
  • Fuzzy systems for reactive planning and the cooperation of autonomous robot. Eduardo Moraleda, Universida Madrid
1:30 - 3:00 Technical Papers
Potpourri (Room: 409)
Session Chair: Chaman L. Sabharwal, University of Missouri-Rolla
  • A Note on Tree Medians. Mohan B. Sharma, IBM
  • Linking Specialized Network Data Repositories to Standard Access Tools. R. Ford, G. Hellenga, V. Palaiya, D. Thompson, University of Montana
  • Threshold-Based Dynamic Admission Control Algorithms for Real-Time Multimedia Servers. Ing-Ray Chen, Tao-Hung Hsi, National Cheng Kung University, Taiwan
  • Efficient Implementations of Two Variant Subset Sum Problems -- A Case Study of How to Process Appraisal Books Resulting from Fire-Destroyed Money. PeiZong Lee, Institute of Information Science, Taiwan Fang-Yu Huang, National Bureau of Standard, Taiwan Chorng-Yuan Huang, The Bank of Taiwan & Yuan-Ze Inst. of Tech., Taiwan Hwann-Tzong Chen, National Taiwan University, Taiwan
Genetic Algorithms III (Room: 411)
Session Chair: Bryant A. Julstom, St. Cloud State University
  • Automatic Aircraft Conflict Resolution using Genetic Algorithms. Nicolas Durand, CENA (Centre d'Etudes de la Navigation Aerienne), France Jean-Marc Alliot, ENAC (Ecole Nationale de L'Aviation Civile),France Joseph Noailles, ENSEEIHT (Laboratoire d'Informatique et de Mathematiques Appliquees), France
  • Solving the Subset Interconnection Design Problem Using Genetic Algorithms.. Faris N. AbuAli, Yarmouk University, Jordan Roger L. Wainwright, Dale A. Schoenefeld, The University of Tulsa
  • Hybrid Genetic Algorithms for Polypeptide Energy Minimization. Laurence D. Merkle, Robert L. Gaulke, Gary B. Lamont, Air Force Institute of Technology, Wright-Patterson AFB George H. Gates, Jr., Ruth Pachter, Wright Laboratory, Wright-Patterson AFB
Computer Uses In Education (Room: 412)
Session Chair: George Arnovick, California State University-Chico
  • An Intelligent Universal Advisor. Jan Carroll, Gary Chappell, Sam Houston State University
  • Using Multimedia to Emphasize the Development of Professional Abilities. Marie-Michele Boulet, Universite Laval, Quebec
  • A Network Protocol Analyzer With Tutorial. Susan Mengel, Salman Ali,University of Arkansas
  • An Interactive Dynamic Simulation Model of a University Management System. Yarman Barlas, Vedat G. Diker, Bogazici University, Turkey
Fuzzy Applications V (Room: 408)
Session Chair: Heider Malki, Univ. of Houston, USA
  • Genetic Algorithm For Fuzzy Modeling of Robotic Manipulators. Trung T. Pham, DDMS, Inc.
  • Hierarchical Approach To Fuzzy Logic Control. Reza Langari, Texas A&M University
  • A Heuristic Approach To Determine The Gains Of A Fuzzy PID Controller. Dave Misir, Heidar A. Malki, Guanrong Chen, University of Houston
  • Fuzzy Logic Applied To Compensation Equipment in Power Electronics. Jurgen Hafner, Hans H. Bothe, Klemens Heumann, Technical University of Berlin
  • Nonlinear Smoothing of Signals By Applying Fuzzy Clustering To Local Points Mahmood Doroodchi , Ali M. Reza, University of Wisconsin - Milwaukee
3:30 - 5:00 Technical Papers
Biomedical Computing (Room: 409)
Session Chair: Ed Lamie, California State University-Stanislaus
  • Conformational Statistics of the Nitrogen Linkage in Glycopeptides Using Umbrella Sampling. Anthony J. Duben, Southeast Missouri State University
  • Identifying and Testing of Signatures for Non-Volatile Biomolecules Using Tandem Mass Spectra. Ray R. Hashemi, National Center for Toxicological Research and University of Arkansas at Little Rock Theresa M. Schafer, University of Arkansas at Little Rock William G. Hinson, Jackson O. Lay, Jr., National Center for Toxicological Research
  • An Object-Oriented Information Model for a Patient Definition and Management System. Fernando Ferri, Domenico M. Pisanelli, Fabrizio L. Ricci, Consiglio Nazionale delle Ricerche, Italy Fabrizio Consorti, Universita degli Studi di Roma, 'La Sapienza', Italy
Scientific Computing (Room: 411)
Session Chair: G. E. Hedrick, Oklahoma State University
  • Near Perfect Hash Table for Image Databases. Sanjiv K. Bhatia, University of Missouri - St. Louis Chaman L. Sabharwal, University of Missouri - Rolla
  • Ray Tracing and the Simulation of Boreal Forest Stand Dynamics. J.A. Hoskins, W.D. Hoskins, N.C. Kenkel, P.Y.H. Wong, University of Manitoba, Canada
  • A Comparison of Variational Data Assimilation and Nudging Using a Simple Dynamical System With Chaotic Behavior. Wanglang Chung, University of Oklahoma John M. Lewis, National Severe Storms Laboratory S. Lakshmivarahan, S. K. Dhall, University of Oklahoma
Fuzzy Applications VI - Fuzzy Logic and Neural Networks Applications (Room: 408)
Session Chair: Hanz Bothe, Tech. Univ. of Berlin, Germany
  • Hybrid Intelligent Systems - Applications in Medicine. Les M. Sztandera, Philadelphia College of Textiles and Science
  • Automatic Construction of Radial Basis Function Networks With The Growing Neural Gas Model and Its Relevance For Fuzzy Logic. . Bernd Fritzke, Ruhr-Universitat Bochum, Germany
  • Fuzzy Conceptual Knowledge Processing. Christoph S. Herrmann, FG Intellektik, TH Darmstadt, Germany Steffen Holldobler, Antje Strohmaier, TU Dresden, FG Wissensverarbeitung, Germany
  • Fuzzy Video-Based Handshape Recognition. Kirsti Grobel, Herrmann Hienz, Aachen University of Technology, Germany

Document created: 11th Jan, 1996, by Robert Inder
Last altered: 1st February, 1996, by Robert Inder