Regular Section
===============
PAPERS
======
[Algorithm and Computational Complexity]

 . Parallel Algorithms for Refutation Tree Problem on Formal Graph
   Systems .......................................................... 99
        Tomoyuki UCHIDA, Takayoshi SHOUDAI and Satoru MIYANO

 . Mechanizing Explicit Inductive Equational Reasoning by DTRC ..... 113
        Su FENG, Toshiki SAKABE and Yasuyoshi INAGAKI

[Fault Tolerant Computing]

 . Efficient Guided-Probe Fault Location Method for Sequential Circuits
            ........................................................ 122
        Xiaoging WEN, Kozo KINOSHITA, Hideo TAMAMOTO and Hiroshi
        YOKOYAMA

 . Defect-Tolerant WSI File Memory System Using Address Permutation for
   Spare Allocation ................................................ 130
        Eiji FUJIWARA and Masaharu TANAKA

[Information Security]

 . Permutation Cipher Scheme Using Polynomials over a Field ........ 138
        Eiji OKAMOTO, Tomohiko UYEMATSU and Masahiro MAMBO

[Image Processing, Computer Graphics and Pattern Recognition]

 . Off-line Handwritten Word Recognition with Explicit Character
   Juncture Modeling ............................................... 143
        Wongyu CHO and Jin H.KIM

[Bio-Cybernetics and Neurocomputing]

 . A Rule-Embedded Neural-Network and Its Effectiveness in Pattern
   Recognition with Ill-Posed Conditions ........................... 152
        Mina MARUYAMA, Nobuo TSUDA and Kiyoshi NAKABAYASHI

 . Improving Generalization Performance by Information Minimization  163
        Ryotaro KAMIMURA, Toshiyuki TAKAGI and Shohachiro NAKANISHI

 . Geometric Shape Recognition with Fuzzy Filtered Input to a
   Backpropagation Neural Network .................................. 174
        Figen ULGEN, Andrew C. FLAVELL and Norio AKAMATSU

 . ABSTRACTSiIEICE Trans., Vol.J78-D-I, J78-D-II, No.2 in Japanese)
            ........................................................ 184