SAC '96 Programme
Saturday, February 17, 1996
Registration
Sunday, February 18, 1996
- 8:30 - 12:00
- Multimedia Workshop (Room: 414,415)
- 1:30 - 5:00 SAC Tutorials
-
- SAC Tutorial I: An Introduction to Ada '95
(Attendees wil receive a free Ada '95 compiler)
ROOM: 408
- SAC Tutorial II: Programming Languages for Parallel Processing
ROOM: 409
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)
- Reception
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
Panelists:
- 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 Politcnica.de 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