From: rick@cs.arizona.edu (Rick Schlichting)
Newsgroups: comp.research.japan
Subject: Kahaner Report: 2nd Int Computer Science Conf, Hong Kong, 14-16 Dec'92
Date: 22 Jan 93 19:30:36 GMT


  [Dr. David Kahaner is a numerical analyst on sabbatical to the 
   Office of Naval Research-Asia (ONR Asia) in Tokyo from NIST.  The 
   following is the professional opinion of David Kahaner and in no 
   way has the blessing of the US Government or any agency of it.  All 
   information is dated and of limited life time.  This disclaimer should 
   be noted on ANY attribution.]

  [Copies of previous reports written by Kahaner can be obtained using
   anonymous FTP from host cs.arizona.edu, directory japan/kahaner.reports.]

To: Distribution
From: 
 David K. Kahaner
 US Office of Naval Research Asia
 (From outside US):  23-17, 7-chome, Roppongi, Minato-ku, Tokyo 106 Japan
 (From within  US):  Unit 45002, APO AP 96337-0007
  Tel: +81 3 3401-8924, Fax: +81 3 3403-9670
  Email: kahaner@cs.titech.ac.jp
Re: 2nd International Computer Science Conference, Hong Kong, 14-16 Dec '92
22 Jan 1993
This file is named "icsc.92"

ABSTRACT. Titles and authors of of presentations at the Second
International Computer Science Conference, held in Hong Kong, 14-16 Dec 1992.

I am grateful to Prof Frederick H. Lochovsky (Hong Kong University of
Science and Technology, Email: FRED@UXMAIL.UST.HK) for the following
information.  For details about papers presented at this conference (I
did not attend) please contact either Prof Lochovsky or

                 Dr. Ernest Lam
                 Dept of Computing Studies
                 Hong Kong Baptist College
                 224 Waterloo Road, Kowloon, Hong Kong
                  Fax: +852 338-8014
                  Email: ERNEST@BC750.HKBC.HK



           SECOND INTERNATIONAL COMPUTER SCIENCE CONFERENCE
                    Hong Kong, December 14-16, 1992


Monday, December 14, 1992

9:30  Session M1: Keynote Address I
      Chair: F.H. Lochovsky, H.K.U. Science & Technology, Hong Kong


An Object-Oriented Approach to Defining a Multidatabase Schema
   W. Kim, S. Gala, W. Kelley, T. Reyes, UniSQL, Inc., U.S.A., I. Choi, 
   Pohang Inst. of Science & Technology, S. Korea 


10:50  Session M2: Multimedia Querying & Retrieval
       Chair: Y. Masunaga, U. Library & Information Science, Japan

Leafing Through Hyper-Networked Nodes
   S. Ichimura, F. Maeda, M. Kudo, Y. Matsushita, Keio U., Japan

Browsing Hypertext in Vector Space
   K.S. O'Yang, B. Srinivasan, L.M. Goldschlager, Monash U., Australia

A Frame-based Interactive Video Retrieval System
   L.Q. Ruan, T.S. Chua, H.H. Teh, National U. Singapore, Singapore


10:50  Session M3: Communication Protocols I
       Chair: W. Dobosiewicz, U. Alberta, Canada

Protocol Conformance Test Generation Using Circular UIO with Overlapping
   X. Shen, G. Li, U. Missouri-Kansas City, U.S.A.

A Parallel Processing Approach to the Verification of Computer Network 
       Protocols 
   D. Saha, S.K. Dutta, Jadavpur U., India

Protocol Specification and Verification using the Significant Event 
       Temporal Logic 
   G.K. Tsiknis, S.T. Vuong, U. British Columbia, Canada


10:50  Session M4: Pattern Recognition & Image Processing
       Chair: H. Ip, City Polytechnic of Hong Kong, Hong Kong

A Robust Real-time Recognizer of Printed Chinese Characters
   P.K. Wong, C. Chan, U. Hong Kong, Hong Kong

Recognition of Unconstrained Handwritten Numerals Based on Contour 
          Following Algorithm 
   K.H. Lim, K.S. Lim, L. Shao, Nanyang Technology U., Singapore

Fuzzy Vector Quantization Applied to Image Coding
H. Li, S. Guan, L. Jin, S. China U. of Technology, P.R. China


13:50  Session M5: Knowledge Representation -- Models & Techniques
       Chair: P. Drew, H.K.U. Science & Technology, Hong Kong

Entailmental and Relevant Logics in Future Intelligent Information Systems
   J. Cheng, Kyushu U., Y. Kambayashi, Kyoto U., Japan

Mental Models Representation
   A.M. Maeda, J.I. Aoe, U. Tokushima, Japan

Towards a Network for Representing Beliefs
   B.T. Low, N. Foo, U. Sydney, Australia


13:50  Session M6: Computer Architecture I
       Chair: S.T. Vuong, U. British Columbia, Canada

A General Scheme for Fault-Tolerance in Multi-Computer Networks
   S.C. Chau, U. Lethbridge, Canada, A.L. Liestman, Simon Fraser U., Canada

A New Fault-Tolerant Generalized Cube with an Extra Stage
   M. Xu, X. Shen, U. Missour-Kansas City, U.S.A.

A High Performance Multithreaded Node Architecture: DAVRID
   D.J. Hwang, SungKyunKwan U., S. Korea, H.H. Kim, Seowon U., S. Korea, 
   S.Y. Han, J.S. Kong, S.H. Cho, P.S. Kim, Seoul National U., S. Korea 


13:50  Session M7: Computing with Neural Networks
       Chair: S.I. Wu, California State U., San Marcos, U.S.A.

Optimization Using Delta Rule Network
   L.W. Chan, K.N. Lee, S.W. Or, The Chinese U. Hong Kong, Hong Kong

Moment Invariant Calculation Using Structured Neural Network
   L.M. Cheng, H.L. Liu, City Polytechnic of Hong Kong, Hong Kong


15:40  Session M8: Concurrency & Logging
       Chair: Y.J. Hu, National Chengchi U., Taiwan

Performance Analysis of Two Global Deadlock Detection Algorithms for 
           Multidatabase Systems 
   P. Scheuermann, H.L. Tung, C.K. Teng, Northwestern U., U.S.A.

Performance Studies of a Priority Based Distributed Deadlock Detection 
           Algorithm 
   S.L. Hung, K.Y. Lam, P.K. Chan, City Polytechnic of Hong Kong, Hong Kong

A High-speed Open Journal System in a Distributed Computing Environment
   E.C. Cheng, Digital Equipment Corporation, U.S.A.


15:40  Session M9: Expert Systems Applications
       Chair: B.Y. Chan, La Trobe U., Australia

IDX - Expert System Prototype for Feng Shui
   H.W. Chun, IF Computer Asia Ltd., Hong Kong, W.L. Fung, Stanford U., U.S.A.

Storage and Time Considerations for Diagnostic Expert Systems
   Y. Lirov, Salomon Technology Services, U.S.A., R.W. Yeung, The Chinese 
   U. Hong Kong, Hong Kong 

Expert Oriented Tuning of Unix Systems
   Y.S. Ho, C.L. Sia, National U. Singapore, Singapore


15:40  Session M10: Parallel Computation
       Chair: J. Shao, U. Ulster at Jordanstown, United Kingdom

A CSP-Based Parallel Object Computing System Proof and Implementations
   W. Jia, G.A. Libert, Faculte Polytechnique de Mons, Belgium

A Model for Automatically Parallelizing Compiler Based on C++
   L. Xie, G. Zhu, Z. Sun, Nanjing U., P.R. China

Linked List Prefix Computation on Mesh Arrays
   W. Liang, X. Shen, U. Missouri-Kansas City, U.S.A.


Tuesday, December 15, 1992

9:30  Session T1: Keynote Address II
      Chair: E. Lam, Baptist College, Hong Kong

POLIKOM: Feeding Innovation into Telegovernment
   D. Tsichritzis, J. Schaefer, GMD, Germany


10:50  Session T2: Query Languages
       Chair: P. Drew, H.K.U. Science & Technology, Hong Kong

A Unified Framework Providing Multi-Paradigm Visual Access to Databases
   S.K. Chang, U. Pittsburgh, U.S.A., T. Catarci, G. Santucci, U. di Roma 
   ``La Sapienza'', Italy 

Team Queries in an Object-Oriented Database
   J.T. Horng, National Taiwan U., Taiwan, G.D. Chen, B.J. Liu, National 
   Central U., Taiwan 

A Deductive Database Language Supporting Modules
   B. Freitag, U. Passau, Germany


10:50  Session T3: Communication Protocols II
       Chair: X. Shen, U. Missouri-Kansas City, U.S.A.

Label Management Schemes for 802.6
   D.Y. Chao, D.T. Wang, New Jersey Inst. of Technology, U.S.A.

Protocol Fairness under Mixed Traffic
   W. Dobosiewicz, P. Gburzynski, U. Alberta, Canada

An Efficient Window Protocol for Real-Time Communications in Token Ring 
              Networks 
   L.J. Yao, W. Zhao, C.C. Lim, The U. Adelaide, Australia 

10:50  Session T4: Panel - The Future of Data and Knowledge Engineering
       Chair: F.H. Lochovsky, H.K.U. Science & Technology, Hong Kong
              G. Gardarin, U. Pierre et Marie Curie, France
              D. Embley, Brigham Young U., U.S.A.
              Y. Masunaga, U. Library & Information Science, Japan
              I. Hawryszkiewycz, U. Technology, Sydney, Australia
              Y. Vassiliou, U. Crete, Greece


13:50  Session T5: Database Integrity & Security
       Chair: Y. Nah, Seoul National U., S. Korea

An Architecture for Integrity Constraint Maintenance in Active Databases
   S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca, Politecnico di 
   Milano, Italy 

Integrity Checking for Transactions in Relational Databases
   T.W. Ling, S.Y. Lee, National U. Singapore, Singapore

Security Modeling for Organizational Information Systems
   G. Steinke, Seattle Pacific U., U.S.A., M. Jarke, RWTH Aachen, Germany


13:50  Session T6: Efficient Computation -- Algorithms & Models
       Chair: B.J. Oommen, Carleton U., Canada

Extracting Performance Measures of GSPN Submodels from Their Aggregates
   G. Klas, Siemens Corporate R & D, Germany

Randomized Paging Algorithms and Measures for their Performance
   E. Dichterman, Technion, Israel

Eliminating Redundant Computation From RQA/FQI
   Y. Chen, T. Harder, U. Kaiserslautern, Germany


13:50  Session T7: Applications of Neural Networks
       Chair: T. Li, Concordia U., Canada

A Stock-Market Forecasting System Using Artificial Neural Networks
   S.I. Wu, California State U. San Marcos, U.S.A., R.P. Lu, North Dakota 
   State U., U.S.A.  

Application of Neural Networks in Robotic Control
   L.Chin, D.P. Mital, Nanyang Technological U., Singapore

A Connectionist Approach to Natural Language Understanding Through 
             Interactive Cooperation 
   T. Li, Concordia U., Canada, L. Fang, X. Huang, Telecom Australia 
   Research Labs, Australia 


15:40  Session T8: Implementation, Mapping & Modelling Techniques in DBMSs
       Chair: I.T. Hawryszkiewycz, U. Technology, Sydney, Australia

Designing and Developing a Bilingual RDBMS Software
   S. Banerjee, A. Mitra, K. Bhadra, Jadavpur U., India

A Practical Approach on Data Conversion for Relational Database Systems
   J.Fong, City Polytechnic of Hong Kong, Hong Kong, C. Bloor, U. of 
   Sunderland, United Kingdom 

Multimedia Composite Object having Temporal-Spatial Structures
   Y. Nah, S. Lee, Seoul National U., S. Korea, S. Hwang, Hankuk Aviation 
   U., S. Korea 


15:40  Session T9: Applications
       Chair: G. Steinke, U. Passau, Germany

Spare Capacity Planning in Telecommunication Networks
   L. Lee, Hongkong Telephone, Hong Kong, H.W. Chun, IF Computer Asia 
   Ltd., Hong Kong 

A Multi-stage Heuristic Approach for Vehicle Routing of Heterogeneous Fleet
   K.P. Chow, H.F. Hung, U. Hong Kong, Hong Kong

Genetic Algorithms for the Document Allocation Problem
   D.F. Ghazfan, B. Srinivasan, Monash U., Australia


15:40  Session T10: Software Engineering -- Quality Assurance
       Chair: N.C. Debnath, Winona State U., U.S.A.

The Logical Basis of Correctness Criteria
   N.Y. Foo, U. Sydney, Australia

**Engineering Expert Systems for Software Quality Assessment
   B.I. Cogan, Far East Div. of the Russian Academy of Sciences, Russia

Validation of Fuzzy Expert Systems: From Substantiation to Debugging
   Y.B. Chan, T.S. Dillon, La Trobe U., Australia


Wednesday, December 16, 1992


9:00  Session W1: Knowledge Discovery in Databases
      Chair: Q. Li, H.K.U. Science & Technology, Hong Kong

Generation of Bayesian Networks from Databases
   Y. Yu, B.K. Sy, City U. of New York, U.S.A.

Knowledge Discovery in Object-Oriented Databases
   W.R. Hwang, D.F. Cherng, T.W. Chan, National Central U., Taiwan

Induced Dependencies in Relational Databases
   J.F. Roddick, U. S. Australia, Australia, T.J. Richards, La Trobe U., 
   Australia 


9:00  Session W2: Computer Architecture II
      Chair: R. Chen, City Polytechnic of Hong Kong, Hong Kong

Distributed Reconfiguration of Loops on Hypercubes
   H.S. Wen, J. Tan, U. Houston, U.S.A., W.T. Tsai, U. Minnesota

Analysis and Simulation of Six Bus Arbitration Protocols
   V.L. Narasimhan, S.Price-White, U. Queensland, Australia

The Communication Network for a Multiple Linear Array System
   Y.F. Fung, The Chinese U. Hong Kong, Hong Kong, T.J. Fountain, U. 
   College London, United Kingdom 


9:00  Session W3: Techniques for Processing Text & Figures
      Chair: G. Shiu, Wright State U., U.S.A.

Tree Editing with Arbitrarily Complex Edit Constraints
   B.J. Oommen, W. Lee, Carleton U., Canada

An Approach to the Graphics Editor Using Digital Image Processing Techniques
   T. Xu, H. Liu, Tsinghua U., P.R. China

A Figure Language for Distributed System Descriptions and its Pre-Compiler 
           which can Parse Figures 
   T. Yamanoue, H. Hayata, H. Anzai, Kyushu Inst. of Technology, Japan


10:50  Session W4: Database Dependency Theory
       Chair: R. Torlone, Consiglio Nazionale delle Ricerche, Italy

Redundancy and the Justification for Fourth Normal Form in Relational Database
   M.W. Vincent, U. S. Australia, Australia, B. Srinivasan, Monash U., 
   Australia 

A Two-Step Algorithm for Computing the Transitive Closure of Database 
            Relations in Parallel 
   J. Shao, U. Ulster at Jordanstown, United Kingdom 

An Improved Nested Normal Form for use in Object-Oriented Software Systems
   W.Y. Mok, Y.K. Ng, D.W. Embley, Brigham Young U., U.S.A.


10:50  Session W5: Organizational Computing
       Chair: E. Lam, Baptist College, Hong Kong

A System of Competing Agents for Job Shop Control
   W. Dilger, C. Herzfeld, S. Kassel, R. Peters, European Business 
       School, Germany 

OASIS2: An Environment for Developing Organizational Computing Systems
   C. Martens, C.C. Woo, Universtiy of British Columbia, Canada

Support for Flexible CSCW Coordination
   I.T. Hawryszkiewycz, U. Technology, Sydney, Australia


10:50  Session W6: Using Neural Networks for Classification
       Chair: C. Chan, U. Hong Kong, Hong Kong

Phasal Segmentation of Oscillatory Neural Networks: A Graph Theoretical 
            Classification and Application to Information Processing 
   T. Yamanoue, Kyushu Inst. of Technology, Japan

Classification of Mechanical Parts Using a Hybrid Recognition System
   Y.K. Chen, C.T. Su, Chung Yuan Christian U., Taiwan, W.T. Liou, 
   National Chengchi U., Taiwan 

A Comparison of Image Processing and Neural Networks Techniques on the 
           Problem of Detecting Bacterial Growths 
   J. Zhu, U. Adelaide, Australia, V. Ciesielski, Royal Melbourne Inst. 
   of Technology, Australia 


13:50  Session W7: Database Query & Update
       Chair: B. Freitag, U. Passau, Germany

Extending SQL with Graph Matching and Set Covering for Decision Support 
            Applications 
   J.T. Horng, National Taiwan U., Taiwan, B.J. Liu, National Central U, 
   Taiwan 

Lazy Evaluation of Intensional Updates in Constraint Logic Programming
   D. Montesl, U. di Pisa, Italy, R. Torlone, Consiglio Nazionale delle 
   Ricerche, Italy 

**Updates in Relational Databases with Indefinite and Maybe Information
  K.C. Liu, Tellabs, Inc., U.S.A., L. Zhang, AT&T and Iowa State U., U.S.A., 


13:50  Session W8: Performance -- Load Balancing & Sharing
       Chair: S.L. Hung, City Polytechnic of Hong Kong, Hong Kong

An Asymmetrically-initiated Load Balancing Policy for Local Area Networks
   J.L. Wang, M.H. Shie, Tatung Inst. of Technology, Taiwan

In Search of the Optimal Adaptive Load Sharing Policy for Distributed Systems
   Y.J. Hu, National Chengchi U., Taiwan, B.E. Gillett, U. Missouri-
   Rolla, U.S.A.  

Performance Prediction of Multiprocessor Systems Running Jobs with 
              Internal Concurrency 
   M. Ghodsi, Sharif U. Technology, Iran


13:50  Session W9: Software Engineering  Prototyping & Reuse
       Chair: N.C. Debnath, Winona State U., U.S.A.

An Approach to Rapid Prototyping of Database Structures and Concepts
   P. Rajagopalan, Curtin U. Technology, Australia, C.P. Tsang, U. 
   Western Australia, Australia 

Object-Oriented View Integration to Support Reuse of Requirement Specifications
   C. Francalanci, Politecnico di Milano, Italy, B. Pernici, U. Udine, Italy

Employing Genericity and Case-Based Reasoning to Effectively Reuse Code
   P. Katalagarianos, Y. Vassiliou, U. of Crete and FORTH, Greece


15:40  Session W10: Object Oriented Modelling Techniques
       Chair: T.W. Chan, National Central U., Taiwan

Integrating Inheritance, Subtype and Parametric Polymorphism in Database 
           Type Systems 
   S. Alagic, U. Vermont, U.S.A.

A Practical Approach for Designing Object-Oriented Data Bases
   Z. Tari, Swiss Federal Inst. of Technology of Lausanne, Switzerland, 
   A. Haddak, Ecole des Ponts et Chausses, France 

A Metalevel Approach to Object-Oriented Structuring of Logic Programs
   C.S. Kwok, Mass Transit Railway Corporation, Hong Kong, M. Sergot, 
   Imperial College, United Kingdom 


15:40  Session W11: DBMS Design & Implementation
       Chair: E.C. Cheng, Digital Equipment Corporation, U.S.A.

Extending a Relational DBMS to Support Engineering Databases
   G. Gardarin, J.F. Barbe, B. Finance, U. Pierre et Marie Curie, France, 
   F. Exertier, S. Haj Houssain, BULL Research Center, France 

Design and Implementation of an Object-Oriented Database System Using an 
              Extensible Database Toolkit 
   I. Kojima, H. Tanuma, Y. Sato, I. Ebihara, Y. Okada, Electrotechnical 
   Lab, Japan 

Architectural Issues in Cindy: An Object-Oriented Multimedia Database System
   C. Lee, J.C. Jow, National Cheng-Kung U., Taiwan


15:40  Session W12: Data Structures
       Chair:  J.F. Roddick, U. S. Australia, Australia

Efficient Dynamic File Organization
   H. Wen, J. Tan, U. Houston, U.S.A., K.W. Hwang, IBM Santa Teresa Lab, U.S.A.

2D B-String: A Spatial Knowledge Representation for Image Database System
  S.Y. Lee, M.C. Yang, J.W. Chen, National Chiao Tung U., Taiwan

Signature File Methods for Indexing Object-Oriented Database Systems
   W.C. Lee, D.L. Lee, Ohio State U., U.S.A.

-----------------------------END OF REPORT---------------------------------