Regular Section
===============
PAPERS
======
[Automata, Languages and Theory of Computing]

 . An Optimum Half-Hot Code Assignment Algorithm for Input Encoding and
   Its Application to Finite State Machines ....................... 1231
        Yasunori NAGATA, Masao MUKAIDONO, and Chushin AFUSO

[Computer Systems]

 . Masked Transferring Method of Discontinuous Sectors in Disk Cache
   System ......................................................... 1239
        Tetsuhiko FUJII, Akira YAMAMOTO, Naoya TAKAHASHI, and Minoru
        YOSHIDA

 . Tokkyu~: A High-Performance, Randomizing, Adaptive Message Router
   with Packet Expressway ......................................... 1248
        Andrew FLAVELL and Yoshizo TAKAHASHI

[Software Systems]

 . Development of Program Difference Tool Based on Tree Mapping ... 1261
        Lin LIAN, Minoru AIZAWA, Katsuro INOUE, and Koji TORII

[Computer Networks]

 . A New Specification Environment for Communication Systems Based on
   Specification Reuse by the Application of Case Based Reasoning . 1269
        Ching-Fa HUANG, Susumu YOSHIMURA, Takuji KARAHASHI, and Norio
        SHIRATORI

[Fault Tolerant Computing]

 . A New Scheduling Scheme in Responsive Systems .................. 1282
        Seongbae EUN, Seung Ryoul MAENG, and Jung Wan CHO

[Image Processing, Computer Graphics and Pattern Recognition]

 . Dynamic Reconfiguration of Active Net Structure for Region
   Extraction ..................................................... 1288
        Kazuyoshi YOSHINO, Satoru MORITA, Toshio KAWASHIMA, and
        Yoshinao AOKI

 . A Neural Net Classifier for Multi-Temporal LANDSAT TM Images ... 1295
        Sei-ichiro KAMATA and Eiji KAWAGUCHI

 . Reliability of 3-D Reconstruction by Stereo Vision ............. 1301
        Yasushi KANAZAWA and Kenichi KANATANI

 . Dynamic Programming Based One Dimensional-Two Dimensional Character
   Recognition Algorithm with Branched References ................. 1307
        Muhammad Masroor ALI and Hiroaki SAKOE

LETTERS
=======
[Algorithm and Computational Complexity]

 . A Multiple-Precision Modular Multiplication Algorithm with Triangle
   Additions ...................................................... 1313
        Naofumi TAKAGI

[Computer Hardware and Design]

 . A Selective Invalidation Strategy for Cache Coherence .......... 1316
        Cosimo Antonio PRETE, Gianpaolo PRINA, and Luigi RICCIARDI

[Software Systems]

 . A Formal Technique to Analyze Event Concurrent Response ........ 1321
        Hiromi KOBAYASHI and Yasunari SHIDAMA

[Artificial Intelligence and Cognitive Science]

 . A Strategy for Forgetting Cases by Restricting Memory .......... 1324
        Hiroyoshi WATANABE, Kenzo OKUDA, and Shozo FUJIWARA

 . ABSTRACTS (IEICE Trans., Vol.J78-D-I, J78-D-II, No.10 in Japanese)
            ....................................................... 1327