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

 . A Polynomial-Time Algorithm for Checking the Inclusion for Strict
   Deterministic Restricted One-Counter Automata ................... 305
        Ken HIGUCHI, Etsuji TOMITA and Mitsuo WAKATSUKI

[Algorithm and Computational Complexity]

 . Decomposable Termination of Composable Term Rewriting Systems ... 314
        Masahito KURIHARA and Azuma OHUCHI

 . A Parallel Algorithm for Determining the Congruence of Point Sets in
   Three-Dimensions ................................................ 321
        Tatsuya AKUTSU

[Computer Hardware and Design]

 . On Ternary Cellular Arrays Designed from Ternary Decision Diagrams
            ........................................................ 326
        Naotake KAMIURA, Hidetoshi SATOH, Yutaka HATA and Kazuhara
        YAMATO

 . Concurrency Control with Permissible Serializability in Multi-Media
   Data Processings ................................................ 336
        Yuichi SAKAUE and Jun'ichi MIYAO

 . Packing Sequential Stretches in the MDFM ........................ 345
        Paulo LORENZO Munehiro GOTO and Arthur J.CATTO

[Computer Systems]

 . Decentralized Voting Protocols and their Communication Structures
            ........................................................ 355
        Amane NAKAJIMA

[Software Theory]

 . Adapt Dynamic Evolution in a Reflective Object-Oriented Computer
   Language ........................................................ 363
        Issam A. HAMID, Mohammed ERRADI, Gregor v. BOCHMANN and Setsuo
        OHSUGA

[Software Systems]

 . An Automatic Selection Method of Key Search Algorithms .......... 383
        Masami SHISHIBORI, Junichi AOE, Ki-Hong PARK and Hisatoshi
        MOCHIZUKI

 . An Analysis of Traceability in Requirements Documents ........... 394
        Kenji TAKAHASHI and Shuichiro YAMAMOTO

 . An Automatic Programming System SPACE with Highly Visualized and
   Abstract Program Specification .................................. 403
        Minoru HARADA and Takashi YOSHIMIZU

[Databases]

 . Design and Construction of an Advisory Dialogue Database ........ 420
        Tadahiko KUMAMOTO, Akira ITO and Tsuyoshi EBINA

[Computer Networks]

 . A Realization of an Arbitrary BPC Permutation in Hypercube Connected
   Computer Networks ............................................... 428
        Hiroshi MASUYARA, Yuichiro MORITA and Etsuko MASUYAMA

 . The Optimal Routing Algorithm in Hierarchical Cubic Network and Its
   Properties ...................................................... 436
        San-Kyun YUN and Kyu Ho PARK

 . Group Communications Algorithm for Dynamically Updating in
   Distributed Systems ............................................. 444
        Hiroaki HIGAKI

[Speech Processing and Acoustics]

 . A New Approach of Parsing and Search Based on the Divide and Conquer
   Strategy for Continuous Speech Recognition ...................... 455
        Ming-Sheng WANG and Satoshi IMAI

[Image Processing, Computer Graphics and Pattern Recognition]

 . Constraint Satisfaction Approach to Extraction of Japanese Character
   Regions from Unformatted Document Image ......................... 466
        Keiji GYOHTEN, Noboru BABAGUCHI and Tadahiro KITAHASHI

 . A Paint System of Monochromatic Moving Images ................... 476
        Hiroshi NAGAHASHI, Takeshi AGUI, and Tatsushi ISHIGURO

[Bio-Cybernetics and Neurocomputing]

 . Kernel Hidden Unit Analysis Network Size Reduction by Entropy
   Minimization .................................................... 484
        Ryotaro KAMIMURA and Shohachiro Nakanishi

 . A Modified Information Criterion for Automatic Model and Parameter
   Selection in Neural Network Learning ............................ 490
        Sumio WATANABE

LETTERS
=======
[Image Processing, Computer Graphics and Pattern Recognition]

 . Extraction of Glossiness Using Spatial Filter with Variable
   Resolution ...................................................... 500
        Seiichi SERIKAWA and Teruo SHIMOMURA

 . Modified MCR Expression of Binary Document Images ............... 503
        Supoj CHINVEERAPHAN, Abdel Malek B.C. ZIDOURI and Makoto SATO

[Medical Electronics and Medical Information]

 . Pseudo Bayesian Screening of Psychiatric Patients ............... 508
        Kazuo YANA, Koji KAWACHI, Kazuhiro IIDA, Yoshio OKUBO, Michio
        TOHRU and Fumio OKUYAMA

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