Program verification system with synthesizer of invariant assertions. - Seiichiro Dan; Takahira Yamaguchi; Osamu Kakusho; Yoshikazu Tezuka (Syst. Comput. Jpn., 1989)

Computer vision based on a hypothesization and verification scheme by parallel relaxation. - Koh Kakusho; Seiichiro Dan; Tadahiro Kitahashi; Norihiro Abe (Int. J. Comput. Vis., 1992)

A study on a method of dividing machine-parts into functional groups for technical illustrations. - Inho Lee; Seiichiro Dan; Tadahiro Kitahashi; Norihiro Abe (ICDAR, 1993)

Shape Recovery and Error Correction Based on Hypothetical Constraints by Parallel Network for Energy Minimization. - Koh Kakusho; Seiichiro Dan; Norihiro Abe; Tadahiro Kitahashi (Int. J. Pattern Recognit. Artif. Intell., 1994)

Generation of sketch map image and its instructions to support the understanding of geographical information. - Noboru Babaguchi; Seiichiro Dan; Tadahiro Kitahashi (ICPR, 1996)

Shape Recovery for Input of a Rough 3D Shape by Its 2D Sketch. - Takashi Kobayashi; Osamu Nishimura; Koh Kakusho; Seiichiro Dan; Tadahiro Kitahashi (MVA, 1996)