IEICE Transactions on Information & Systems, Volume 78-D

Volume 78-D, Number 1, January 1995

Regular Section

• 
  Yoshiaki Shirai, Kenichiro Ishii:
  Foreword. 1-2
• 
  Saptarshi Mahesh, C. Siva Ram Murthy, C. Pandu Rangan:
  Efficient Dynamic Job Scheduling Algorithms for Multiprocessor Systems. 3-12
• 
  Shinichi Shimozono, Satoru Miyano:
  Complexity of Finding Alphabet Indexing. 13-18
• 
  Alfredo M. Maeda, Hideto Tomabechi, Jun-ichi Aoe:
  Unification-Failure Filter for Natural Language. 19-26
• 
  Makoto Tsujigado, Teruo Hikita, Jun Ginbayashi:
  Process Composition and Interleave Reduction in Parallel Process Specification. 27-36
• 
  Hajimu Kawakami:
  Calculation of Exact Statistics on Directional Data in the 2-D Space. 37-48
• 
  Eiji Oohira, Hirohiko Sagawa, Tomoko Sakiyama, Masaru Ohki:
  A Segmentation Method for Sign Language Recognition. 49-57
• 
  Shingo Takada, Norihisa Doi:
  An Extended Centering Mechanism for Interpreting Pronouns and Zero-Pronouns. 58-67
• 
  Chew Lim Tan, Makoto Nagao:
  Automatic Alignment of Japanese-Chinese Bilingual Texts. 68-76
• 
  Zhengwei Tang, Naohiro Ishii:
  Detection of the K-Complex Using a New Method of Recognizing Waveform Based on the Discrete Wavelet Transform. 77-85
• 
  Tetsuro Nishino, Keisuke Tanaka:
  On the Negation-Limited Circuit Complexity of Clique Functions. 86-89
• 
  Tetsuro Nishino, Jaikumar Radhakrishnan:
  On the Number of Negations Needed to Compute Parity Functions. 90-91

Volume 78-D, Number 2, February 1995

Regular Section

• 
  Tomoyuki Uchida, Takayoshi Shoudai, Satoru Miyano:
  Parallel Algorithms for Refutation Tree Problem on Formal Graph Systems. 99-112
• 
  Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki:
  Mechanizing Explicit Inductive Equational Reasoning by DTRC. 113-121
• 
  Xiaoqing Wen, Kozo Kinoshita, Hideo Tamamoto, Hiroshi Yokoyama:
  Efficient Guided-Probe Fault Location Method for Sequential Circuits. 122-129
• 
  Eiji Fujiwara, Masaharu Tanaka:
  Defect-Tolerant WSI File Memory System Using Address Permutation for Spare Allocation. 130-137
• 
  Eiji Okamoto, Tomohiko Uyematsu, Masahiro Mambo:
  Permutation Cipher Scheme Using Polynomials over a Field. 138-142
• 
  Wongyu Cho, Jin Hyung Kim:
  Off-Line Handwritten Word Recognition with Explicit Character Juncture Modeling. 143-151
• 
  Mina Maruyama, Nobuo Tsuda, Kiyoshi Nakabayashi:
  A Rule-Embedded Neural-Network and Its Effectiveness in Pattern Recognition with III-Posed Conditions. 152-162
• 
  Ryotaro Kamimura, Toshiyuki Takagi, Shohachiro Nakanishi:
  Improving Generalization Performance by Information Minimization. 163-173
• 
  Figen Ulgen, Andrew C. Flavell, Norio Akamatsu:
  Geometric Shape Recognition with Fuzzy Filtered Input to a Backpropagation Neural Network. 174-183

Volume 78-D, Number 3, March 1995

Special Issue on Synthesis and Verification of Hardware Design

• 
  Hiroto Yasuura:
  Foreword. 197-198
• 
  Robert K. Brayton, Ellen M. Sentovich:
  Network Hierarchies and Node Minimization. 199-208
• 
  Allen C.-H. Wu, Youn-Long Lin:
  High-Level Synthesis -A Tutorial. 209-218
• 
  Yusuke Matsunaga:
  A New Algorithm for Boolean Matching Utilizing Structural Information. 219-223
• 
  Ivan P. Radivojevic, Forrest Brewer:
  Symbolic Scheduling Techniques. 224-230
• 
  Seong Yong Ohm, Fadi J. Kurdahi, Chu Shik Jhon:
  An Optimal Scheduling Approach Using Lower Bound in High-Level Synthesis. 231-236
• 
  Hisao Koizumi, Katsuhiko Seo, Fumio Suzuki, Yoshisuke Ohtsuru, Hiroto Yasuura:
  A Proposal for a Co-design Method in Control Systems Using Combination of Models. 237-247
• 
  Mitsuteru Yukishita, Kiyoshi Oguri, Tsukasa Kawaoka:
  Test Synthesis from Behavioral Description Based on Data Transfer Analysis. 248-251
• 
  Vasily G. Moshnyaga, Yutaka Mori, Keikichi Tamaru:
  Register-Transfer Module Selection for Sub-Micron ASIC Design. 252-255

Regular Section

• 
  Takashi Naritomi, Hirotomo Aso:
  An Efficient Parallel Algorithm for the Solution of Block Tridiagonal Linear Systems. 256-262
• 
  Jiann-Fu Lin, Win-Bin See, Sao-Jie Chen:
  Performance Bounds on Scheduling Parallel Tasks with Communication Cost. 263-268
• 
  Kazuyuki Takagi, Shuichi Itahashi:
  Temporal Characteristics of Utterance Units and Topic Structure of Spoken Dialogs. 269-276
• 
  Haisong Gu, Yoshiaki Shirai, Minoru Asada:
  Motion Description and Segmentation of Multiple Moving Objects in a Long Image Sequence. 277-289
• 
  Abdelmalek B. C. Zidouri, Supoj Chinveeraphan, Makoto Sato:
  Classification of Document Image Blocks Using MCR Stroke Index. 290-294

Volume 78-D, Number 4, April 1995

Regular Section

• 
  Ken Higuchi, Etsuji Tomita, Mitsuo Wakatsuki:
  A Polynomial-Time Algorithm for Checking the Inclusion for Strict Deterministic Restricted One-Counter Automata. 305-313
• 
  Masahito Kurihara, Azuma Ohuchi:
  Decomposable Termination of Composable Term Rewriting Systems. 314-320
• 
  Tatsuya Akutsu:
  A Parallel Algorithm for Determining the Congruence of Point Sets in Three-Dimensions. 321-325
• 
  Naotake Kamiura, Hidetoshi Satoh, Yutaka Hata, Kazuharu Yamato:
  On Ternary Cellular Arrays Designed from Ternary Decision Diagrams. 326-335
• 
  Yuichi Sakaue, Jun'ichi Miyao:
  Concurrency Control with Permissible Serializability in Multi-Media Data Processings. 336-344
• 
  Paulo Lorenzo, Munehiro Goto, Arthur J. Catto:
  Packing Sequential Stretches in the MDFM. 345-354
• 
  Amane Nakajima:
  Decentralized Voting Protocols and their Communication Structures. 355-362
• 
  Issam A. Hamid, Mohammed Erradi, Gregor von Bochmann, Setsuo Ohsuga:
  Adapt Dynamic Evolution in a Reflective Object-Oriented Computer Language. 363-382
• 
  Masami Shishibori, Jun-ichi Aoe, Ki-Hong Park, Hisatoshi Mochizuki:
  An Automatic Selection Method of Key Search Algorithms. 383-393
• 
  Kenji Takahashi, Shuichiro Yamamoto:
  An Analysis of Traceability in Requirements Documents. 394-402
• 
  Minoru Harada, Takashi Yoshimizu:
  An Automatic Programming System SPACE with Highly Visualized and Abstract Program Specification. 403-419
• 
  Tadahiko Kumamoto, Akira Ito, Tsuyoshi Ebina:
  Design and Construction of an Advisory Dialogue Database. 420-427
• 
  Hiroshi Masuyara, Yuichiro Morita, Etsuko Masuyama:
  A realization of an arbitrary BPC Permutation in Hypercube Connected Computer Networks. 428-435
• 
  San-Kyun Yun, Kyu Ho Park:
  The Optimal Routing Algorithm in Hierarchical Cubic Network and Its Properties. 436-443
• 
  Hiroaki Higaki:
  Group Communications Algorithm for Dynamically Updating in Distributed Systems. 444-454
• 
  Ming-Sheng Wang, Satoshi Imai:
  A New Approach of Parsing and Search Based on the Divide and Conquer Strategy for Continuous Speech Recognition. 455-465
• 
  Keiji Gyohten, Noboru Babaguchi, Tadahiro Kitahashi:
  Constraint Satisfaction Approach to Extraction of Japanese Character Regions from Unformatted Document Image. 466-475
• 
  Hiroshi Nagahashi, Takeshi Agui, Tatsushi Ishiguro:
  A Paint System of Monochromatic Moving Images. 476-483
• 
  Ryotaro Kamimura, Shohachiro Nakanishi:
  Kernel Hidden Unit Analysis-Network Size Reduction by Entropy Minimization-. 484-489
• 
  Sumio Watanabe:
  A Modified Information Criterion for Automatic Model and Parameter Selection in Neural Network Learning. 490-499
• 
  Seiichi Serikawa, Teruo Shimomura:
  Extraction of Glossiness Using Spatial Filter with Variable Resolution. 500-502
• 
  Supoj Chinveeraphan, Abdelmalek B. C. Zidouri, Makoto Sato:
  Modified MCR Expression of Binary Document Images. 503-507
• 
  Kazuo Yana, Koji Kawachi, Kazuhiro Iida, Yoshio Okubo, Michio Tohru, Fumio Okuyama:
  Pseudo Bayesian Screening of Psychiatric Patients. 508-510

Volume 78-D, Number 5, May 1995

Special Issue on Algorithmic Learning Theory

• 
  Takashi Yokomori:
  Foreword. 517
• 
  Eiji Takimoto, Akira Maruoka:
  On the Sample Complexity of Consistent Learning with One-Sided Error. 518-525
• 
  Jun'ichi Takeuchi:
  Improved Sample Complexity Bounds for Parameter Estimation. 526-531
• 
  Takashi Moriyama, Masako Sato:
  Properties of Language Classes with Finite Elasticity. 532-538
• 
  Akihiro Yamamoto:
  Learning Logic Programs Using Definite Equality Theories as Background Knowledge. 539-544
• 
  Satoshi Kobayashi:
  Identifying Strategies Using Decision Lists from Trace Information. 545-552
• 
  Tu Bao Ho:
  An Approach to Concept Formation Based on Formal Concept Analysis. 553-559
• 
  Satoru Miyano:
  Learning Theory Toward Genome Informatics. 560-567

Regular Section

• 
  Jinghua Min, Hidehiko Tanaka:
  Proposing Multi-Space Directory (MSD) over Tree Directory. 568-578
• 
  Xiaoyong Du, Naohiro Ishii:
  Optimizing Linear Recursive Formulas by Detaching Isolated Variables. 579-585
• 
  Hyung Chul Kim, Seung Ryoul Maeng, Jung Wan Cho:
  A Design of Pipelined Architecture for Hierarchical Block-Matching Algorithm. 586-595
• 
  Sandip Kundu:
  On Construction of Non-systematic t-Symmetric Error Correcting/All Unidirectional Error Detecting Codes. 596-599

Volume 78-D, Number 6, June 1995

Special Issue on Spoken Language Processing

• 
  Kazuyo Tanaka:
  Foreword. 607-608
• 
  Keiko Watanuki, Kenji Sakamoto, Fumio Togawa:
  Multimodal Interaction in Human Communication. 609-615
• 
  Osamu Yoshioka, Yasuhiro Minami, Kiyohiro Shikano:
  A Speech Dialogue System with Multimodal Interface for Telephone Directory Assistance. 616-621
• 
  Yoichi Yamashita, Takashi Hiramatsu, Osamu Kakusho, Riichiro Mizoguchi:
  An Utterance Prediction Method Based on the Topic Transition Model. 622-628
• 
  Masahiro Araki, Shuji Doshita:
  Cooperative Spoken Dialogue Model Using Bayesian Network and Event Hierarchy. 629-635
• 
  Shingo Kuroiwa, Kazuya Takeda, Masaki Naito, Naomi Inoue, Seiichi Yamamoto:
  Error Analysis of Field Trial Results of a Spoken Dialogue System for Telecommunications Applications. 636-641
• 
  Tetsuo Kosaka, Shigeki Sagayama:
  Automatic Determination of the Number of Mixture Components for Continuous HMMs Based a Uniform Variance Criterion. 642-647
• 
  Satoshi Takahashi, Yasuhiro Minami, Kiyohiro Shikano:
  An HMM State Duration Control Algorithm Applied to Large-Vocabulary Spontaneous Speech Recognition. 648-653
• 
  Nobuaki Minematsu, Keikichi Hirose:
  Duration Modeling with Decreased Intra-Group Temporal Variation for HMM-Based Phoneme Recognition. 654-661
• 
  Motoyuki Suzuki, Shozo Makino, Akinori Ito, Hirotomo Aso, Hiroshi Shimodaira:
  A New HMnet Construction Algorithm Requiring No Contextual Factors. 662-668
• 
  Seiichi Nakagawa, Li Zhao, Hideyuki Suzuki:
  A Comparative Study of Output Probability Functions in HMMs. 669-675
• 
  Eiichi Tsuboka, Yoshihiro Takada:
  Neural Predictive Hidden Markov Model for Speech Recognition. 676-684
• 
  Xinhui Hu, Keikichi Hirose:
  Tone Recognition of Chinese Dissyllables Using Hidden Markov Models. 685-691
• 
  Ryosuke Isotani, Shoichi Matsunaga, Shigeki Sagayama:
  Speech Recognition Using Function-Word N-Grams and Content-Word N-Grams. 692-697
• 
  Atsuhiko Kai, Seiichi Nakagawa:
  Relationship among Recognition Rate, Rejection Rate and False Alarm Rate in a Spoken Word Recognition System. 698-704
• 
  Takayuki Arai:
  Automatic Language Identification Using Sequential Information of Phonemes. 705-711
• 
  Chih-Heng Lin, Chien-Hsing Wu, Pao-Chung Chang:
  A Study on Speaker Adaptation for Mandarin Syllable Recognition with Minimum Error Discriminative Training. 712-718
• 
  Kouichi Yamaguchi, Harald Singer, Shoichi Matsunaga, Shigeki Sagayama:
  Speaker-Consistent Parsing for Speaker-Independent Continuous Speech Recognition. 719-724
• 
  Sumio Ohno, Keikichi Hirose, Hiroya Fujisaki:
  A Scheme for Word Detection in Continuous Speech Using Likelihood Scores of Segments Modified by Their Context Within a Word. 725-731
• 
  Chang-Sheng Yang, Hideki Kasuya:
  Uniform and Non-uniform Normalization of Vocal Tracts Measured by MRI Across Male, Female and Child Subjects. 732-737
• 
  Wen Ding, Hideki Kasuya, Shuichi Adachi:
  Simultaneous Estimation of Vocal Tract and Voice Source Parameters Based on an ARX Model. 738-743
• 
  Thanh Tung Le, John S. Mason, Tadashi Kitamura:
  Characteristics of Multi-Layer Perceptron Models in Enhancing Degraded Speech. 744-750
• 
  Toshiro Watanabe, Shinji Hayashi:
  An Objective Measure Based on an Auditory Model for Assessing Low-Rate Coded Speech. 751-757
• 
  Masahiro Serizawa, Kazunori Ozawa:
  4 kbps Improved Pitch Prediction CELP Speech Coding with 20 msec Frame. 758-763

Regular Section

• 
  Yoshinobu Tonomura, Akihito Akutsu:
  A Structured Video Handling Technique for Multimedia Systems. 764-777
• 
  Yue Wang, Jianliang Xu, Katsushi Inoue, Akira Ito:
  A Note on One-way Auxiliary Pushdown Automata. 778-782

Volume 78-D, Number 7, July 1995

Special Issue on Verification, Test and Diagnosis of VLSI Systems

• 
  Hideo Fujiwara:
  Foreword. 789-790
• 
  Hiromi Hiraishi:
  Towards Verification of Bit-Slice Circuits-Time-Space Modal Model Checking Approach-. 791-795
• 
  Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi:
  Temporal Verification of Real-Time Systems. 796-801
• 
  Yoshiaki Kakuda, Hideki Yukitomo, Shinji Kusumoto, Tohru Kikuno:
  A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols. 802-810
• 
  Seiji Kajihara, Rikiya Nishigaya, Tetsuji Sumioka, Kozo Kinoshita:
  Acceleration Techniques of Multiple Fault Test Generation Using Vector Pair Analysis. 811-816
• 
  Koji Yamazaki, Teruhiko Yamada:
  A Single Bridging Fault Location Technique for CMOS Combinational Circuits. 817-821
• 
  Xiangqiu Yu, Hiroshi Takahashi, Yuzo Takamatsu:
  A Study for Testability of Redundant Faults in Combinational Circuits Using Delay Effects. 822-829
• 
  Xiaoqing Wen, Hideo Tamamoto, Kozo Kinoshita:
  Testing of k-FR Circuits under Highly Observable Condition. 830-838
• 
  Junichi Hirase, Masanori Hamada:
  The Effect of CMOS VLSI IDDq Measurement on Defect Level. 839-844
• 
  Yukiya Miura, Sachio Naito:
  A Method of Current Testing for CMOS Digital and Mixed-Signal LSIs. 845-852
• 
  Shigeharu Teshima, Naoya Chujo, Ryuta Terashima:
  Very Fast Fault Simulation for Voltage Stuck-at Faults in Analog/Digital Mixed Circuit. 853-860
• 
  Hiroyuki Yotsuyanagi, Seiji Kajihara, Kozo Kinoshita:
  Retiming for Sequential Circuits with a Specified Initial State and Its Application to Testability Enhancement. 861-867
• 
  Takeshi Koyama, Ryuji Ohmura:
  A Practical Test System with a Fuzzy Logic Controller. 868-873
• 
  Tokumi Yokohira, Toshimi Shimizu, Hiroyuki Michinishi, Yuji Sugiyama, Takuji Okamoto:
  The Number of Elements in Minimum Test Set for Locally Exhaustive Testing of Combinational Circuits with Five Outputs. 874-881
• 
  Kiyoshi Furuya, Seiji Seki, Edward J. McCluskey:
  Design of Autonomous TPG Circuits for Use in Two-Pattern Testing. 882-888
• 
  Kiyoshi Furuya, Susumu Yamazaki, Masayuki Sato:
  Stuck-Open Fault Detectabilities of Various TPG Circuits for Use in Two-Pattern Testing. 889-894

Regular Section

• 
  Martin Kutrib, Roland Vollmar:
  The Firing Squad Synchronization Problem in Defective Cellular Automata. 895-900
• 
  Kensei Tsuchida:
  The Complexity of Drawing Tree-Structured Diagrams. 901-908
• 
  Satoshi Naoi, Maki Yabuki, Atsuko Asakawa, Yoshinobu Hotta:
  Global Interpolation in the Segmentation of Handwritten Characters Overlapping a Border. 909-916
• 
  Yasushi Kanazawa, Kenichi Kanatani:
  Direct Reconstruction of Planar Surfaces by Stereo Vision. 917-922

Volume 78-D, Number 8, August 1995

Regular Section

• 
  Tsunehiro Yoshinaga, Katsushi Inoue:
  Alternating Finite Automata with Counters and Stack-Counters Operating in Realtime. 929-938
• 
  Ken Higuchi, Mitsuo Wakatsuki, Etsuji Tomita:
  A Polynomial-Time Algorithm for Checking the Inclusion for Real-Time Deterministic Restricted One-Counter Automata Which Accept by Final State. 939-950
• 
  Xiaowei Deng, Takahiro Hanyu, Michitaka Kameyama:
  Quantum-Device-Oriented Multiple-Valued Logic System Based on a Super Pass Gate. 951-958
• 
  Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini:
  Using Process Algebras for the Semantic Analysis of Data Flow Networks. 959-968
• 
  Takanobu Baba, Norihito Saitoh, Takahiro Furuta, Hiroshi Taguchi, Tsutomu Yoshinaga:
  A Declarative Synchronization Mechanism for Parallel Object-Oriented Computation. 969-981
• 
  Chiung-San Lee, Tai-Ming Parng:
  Bottleneck Identification Methodology for Performance-Oriented Design of Shared-Bus Multiprocessors. 982-991
• 
  Yoshinao Isobe, Isao Kojima, Kazuhito Ohmaki:
  Analysis of Database Production Rules by Process Algebra. 992-1002
• 
  Hussain Sabri Shakir, Makoto Nagao:
  Hierarchy-Based Networked Organization, Modeling, and Prototyping of Semantic, Statistic, and Numeric Image Information. 1003-1020
• 
  Chi-Jiunn Jou, Hasan S. Alkhatib, Qiang Li:
  Two-Tier Paging and Its Performance Analysis for Network-based Distributed Shared Memory Systems. 1021-1031
• 
  Takashi Komori, Shigeru Katagiri:
  A Minimum Error Approach to Spotting-Based Pattern Recognition. 1032-1043
• 
  Yasunaga Miyazawa, Jun-ichi Takami, Shigeki Sagayama, Shoichi Matsunaga:
  Unsupervised Speaker Adaptation Using All-Phoneme Ergodic Hidden Markov Network. 1044-1050
• 
  Ken-ichiro Muramoto:
  Determination of Shape and Fall Velocity of Raindrops by lmage Processing. 1051-1057
• 
  Kouichirou Nishimura, Masao Izumi, Kunio Fukunaga:
  Object Recognition in Image Sequences with Hopfield Neural Network. 1058-1064
• 
  Eun Joo Rhee, Tae-Kyun Kim, Masayuki Nakajima:
  On-line Recognition of Cursive Hangul by DP Matching with Structural Information. 1065-1073
• 
  Kenichi Kanatani, Sachio Takeda:
  3-D Motion Analysis of a Planar Surface by Renormalization. 1074-1079
• 
  Masafumi Hagiwara, Akira Sato:
  Analysis of Momentum Term in Back-Propagation. 1080-1086
• 
  Yutaka Maeda, Takayuki Akashi, Yakichi Kanata:
  A Separation of Electroretinograms for Diabetic Retinopathy. 1087-1092

Volume 78-D, Number 9, September 1995

Special Issue on Knowledge Based Software Engineering

• 
  Haruki Ueno:
  Foreword. 1101-1102
• 
  Vadim L. Stefanuk:
  Learning Levels in Intelligent Tutoring Systems. 1103-1107
• 
  Haruki Ueno:
  Concepts and Methodologies for Knowledge-Based Program Understanding-The ALPUS's Approach-. 1108-1117
• 
  Shuichiro Yamamoto:
  Reconstructing Data Flow Diagrams from Structure Charts Based on the Input and Output Relationship. 1118-1126
• 
  Tomofumi Uetake, Morio Nagata:
  A Computer Supported System of Meetings Using a Model of Inter-Personal Communication. 1127-1132
• 
  Hiroyuki Yamada, Tetsuo Kobashi, Tsunehiro Aibara:
  A Constructing Method of Functional Model by Integrated Learning from Examples of Software Modification. 1133-1141
• 
  Seiichi Komiya, Atsuo Hazeyama:
  A Software Project Management System Using an Object Oriented Database-Integration of Process Management System and Quality Management System-. 1142-1149
• 
  Takashi Haginiwa, Morio Nagata:
  A Visual Environment Organizing the Class Hierarchy for Object-Oriented Programming. 1150-1155
• 
  Yoshizumi Kobayashi, Tadashi Ohta, Nobuyoshi Terashima:
  A Requirement Description Approach in Natural Language Based on Communication Service Knowledge. 1156-1163
• 
  Masanobu Watanabe, Toru Yamanouchi, Masahiko Iwamoto, Satoru Fujita:
  Case Histories on Knowledge-Based Design Systems for LSI and Software. 1164-1170

Regular Section

• 
  Qian-Ping Gu, Shietung Peng:
  Linear Time Algorithms for Fault Tolerant Routing in Hypercubes and Star Graphs. 1171-1177
• 
  Liang Zhou, Satoshi Imai:
  Multisegment Multiple VQ Codebooks-Based Speaker Independent Isolated-Word Recognition Using Unbiased Mel Cepstrum. 1178-1187
• 
  Toshihiko Abe, Takao Kobayashi, Satoshi Imai:
  Harmonics Estimation Based on Instantaneous Frequency and Its Application to Pitch Determination of Speech. 1188-1194
• 
  Liyanage C. De Silva, Kiyoharu Aizawa, Mitsutoshi Hatori:
  Detection and Tracking of Facial Features by Using Edge Pixel Counting and Deformable Circular Template Matching. 1195-1207
• 
  Bikash Chandra Ghosh, Vilas Wuwongse:
  Conceptual Graph Programs and Their Declarative Semantics. 1208-1217
• 
  Shinji Kawade, Eiichi Tanaka:
  A Similar Key Search File Based on Extendible Hashing. 1218-1220
• 
  Iren Valova, Keisuke Kameyama, Yukio Kosugi:
  Image Decomposition by Answer-in-Weights Neural Network. 1221-1224

Volume 78-D, Number 10, October 1995

Regular Section

• 
  Yasunori Nagata, Masao Mukaidono, Chushin Afuso:
  An Optimum Half-Hot Code Assignment Algorithm for Input Encoding and Its Application to Finite State Machines. 1231-1238
• 
  Tetsuhiko Fujii, Akira Yamamoto, Naoya Takahashi, Minoru Yoshida:
  Masked Trnsferring Method of Discontinuous Sectors in Disk Cache System. 1239-1247
• 
  Andrew C. Flavell, Yoshizo Takahashi:
  Tokky U: A High-Performance, Randomizing Adaptive Message Router with Packet Expressway. 1248-1260
• 
  Lin Lian, Minoru Aizawa, Katsuro Inoue, Koji Torii:
  Development of Program Difference Tool Based on Tree Mapping. 1261-1268
• 
  Ching-Fa Huang, Susumu Yoshimura, Takuji Karahashi, Norio Shiratori:
  A New Specification Environment for Communication Systems Based on Specification Reuse by the Application of Case Based Reasoning. 1269-1281
• 
  Seong Bae Eun, Seung Ryoul Maeng, Jung Wan Cho:
  A New Scheduling Scheme in Responsive Systems. 1282-1287
• 
  Kazuyoshi Yoshino, Satoru Morita, Toshio Kawashima, Yoshinao Aoki:
  Dynamic Reconfiguration of Active Net Structure for Region Extraction. 1288-1294
• 
  Sei-ichiro Kamata, Eiji Kawaguchi:
  A Neural Net Classifier for Multi-Temporal LANDSAT TM Images. 1295-1300
• 
  Yasushi Kanazawa, Kenichi Kanatani:
  Reliability of 3-D Reconstruction by Stereo Vision. 1301-1306
• 
  Muhammad Masroor Ali, Hiroaki Sakoe:
  Dynamic Programming Based One Dimensional-Two Dimensional Character Recognition Algorithm with Branched References. 1307-1312
• 
  Naofumi Takagi:
  A Multiple-Precision Modular Multiplication Algorithm with Triangle Additions. 1313-1315
• 
  Cosimo Antonio Prete, Gianpaolo Prina, Luigi M. Ricciardi:
  A Selective Invalidation Strategy for Cache Coherence. 1316-1320
• 
  Hiromi Kobayashi, Yasunari Shidama:
  A Formal Technique to Analyze Event Concurrent Response. 1321-1323
• 
  Hiroyoshi Watanabe, Kenzo Okuda, Shozo Fujiwara:
  A Strategy for Forgetting Cases by Restricting Memory. 1324-1326

Volume 78-D, Number 11, November 1995

Special Issue on Advanced Database Technologies

• 
  Shunsuke Uemura:
  Foreword. 1333-1334
• 
  Ron Sacks-Davis, Timothy Arnold-Moore, Justin Zobel:
  Database Systems for Structured Documents. 1335-1342
• 
  Qing Qian, Masaaki Tanizaki, Katsumi Tanaka:
  Abstraction and Inheritance of HyperLinks in an Object-Oriented Hypertext Database System TextLink/Gem. 1343-1353
• 
  Ryoji Kataoka, Tetsuji Satoh, Ushio Inoue:
  Architecture and Storage Structure of an Interactive Multimedia Information System. 1354-1361
• 
  Hiroshi Arisawa, Takashi Tomii, Hitoshi Yui, Hidehiko Ishikawa:
  Data Model and Architecture of Multimedia Database for Engineering Applications. 1362-1368
• 
  Masatoshi Arikawa, Ken'ichi Horikawa, Yahiko Kambayashi:
  Cooperative Query Formulation for Geographic Databases. 1369-1376
• 
  Akio Nishikawa, Kenji Satou, Emiko Furuichi, Satoru Kuhara, Kazuo Ushijima:
  Data Classification Component in a Deductive Database System and Its Application to Protein Structural Analysis. 1377-1387
• 
  Athman Bouguettaya, Stephen Milliner:
  Co-database Approach to Database Interoperability. 1388-1395
• 
  Hiroshi Ishikawa, Kazumi Kubota, Koki Kato:
  The Design and Implementation of an Interoperable Database System Based on Scripts and Active Objects. 1396-1406
• 
  Michael Björn, Ryosuke Hotaka:
  An HTTP Gateway for Interactive Relational Database Query with Deferred Reply. 1407-1411
• 
  Daniela Florescu, Patrick Valduriez:
  Rule-Based Query Rewriting in the Flora Optimizer. 1412-1423
• 
  Yoshiharu Ishikawa, Hiroyuki Kitagawa:
  Design and Performance Analysis of Indexing Schemes for Set Retrieval of Nested Objects. 1424-1432
• 
  Hans Argenton, Peter Becker:
  Efficient Retrieval of Labeled Binary Trees. 1433-1438
• 
  Guangyi Bai, Akifumi Makinouchi:
  Implementation and Performance Evalution of a Distributed Paged-Object Storage Server. 1439-1448
• 
  Shinichi Taniguchi, Budiarto, Shojiro Nishio:
  On Locking Protocols in Object-Oriented Database Systems. 1449-1457
• 
  Nobutaka Suzuki, Minoru Ito:
  Specialization Constraints for a Complex Object Model Supporting Selective Inheritance. 1458-1468
• 
  Suad Alagic:
  A Statically Typed, Temporal Object-Oriented Database Technology. 1469-1476
• 
  Yoshifumi Masunaga:
  An Object-Oriented Approach to Temporal Multimedia Data Modeling. 1477-1487

Regular Section

• 
  Susumu Yamasaki:
  Control Problem of a Class of Pushdown Automata Based on Posets and Its Application to Resolution Deductions. 1488-1497
• 
  Tae Il Jeong, Sung Jo Kim:
  A Block Management Mechanism for Multimedia Files. 1498-1508
• 
  Rui-Ping Li, Masao Mukaidono:
  A New Approach to Rule Learning Based on Fusion of Fuzzy Logic and Neural Networks. 1509-1514
• 
  P. V. S. Rao, R. Raveendran:
  The Role of Coherence in Regulating the Time-Asymmetry of a Spectral Predictive Discrimination Model. 1515-1518

Volume 78-D, Number 12, December 1995

Special Issue on Machine Vision Applications

• 
  Akira Maeda:
  Foreword. 1525
• 
  Kazuhiko Sumi, Manabu Hashimoto, Haruhisa Okuda, Shin'ichi Kuroda:
  Three-Level Broad-Edge Template Matching and Its Application to Real-Time Vision System. 1526-1532
• 
  Kazuhiro Fukui:
  Edge Extraction Method Based on Separability of Image Features. 1533-1538
• 
  Guofang Jiao, Eihachiro Nakamae, Katsumi Tadamura, Hiroyuki Inuyama:
  On the Extraction of Various Regions in Vector Maps. 1539-1545
• 
  Takio Kurita:
  An Efficient Clustering Algorithm for Region Merging. 1546-1551
• 
  Manabu Hashimoto, Kazuhiko Sumi, Shin'ichi Kuroda:
  Vision System for Depalletizing Robot Using Genetic Labeling. 1552-1558
• 
  Naoya Ohta, Kenichi Kanatani:
  Optimal Structure-from-Motion Algorithm for Optical Flow. 1559-1566
• 
  Masato Masuya, Junta Doi:
  Extraction of Three-Dimensional Multiple Skeletons and Digital Medial Skeleton. 1567-1572
• 
  Yoshifumi Kitamura, Andrew Smith, Fumio Kishino:
  Efficient Algorithms for Real-Time Octree Motion. 1573-1580
• 
  Tae-eun Kim, Jong-Soo Choi:
  Shape Reconstruction of Hybrid Reflectance Object Using Indirect Diffuse Illumination. 1581-1590
• 
  Atsuto Maki, Tomas Uhlin:
  Disparity Selection in Binocular Pursuit. 1591-1597
• 
  Takeaki Y. Mori, Satoshi Suzuki, Takayuki Yasuno:
  Structure and Motion of 3D Moving Objects from Multi-Views. 1598-1606
• 
  Kenpo Tsuchiya, Shuji Hashimoto, Toshiaki Matsushima:
  Multi-Ocular 3D Shape Measurement without Feature Extraction Using Backprojection Method. 1607-1614
• 
  Hiroshi Arakawa, Minoru Etoh:
  An Integration Algorithm for Stereo, Motion and Color in Real-Time Applications. 1615-1620
• 
  Shigeru Ando:
  An Autonomous Three-Dimensional Vision Sensor with Ears. 1621-1629
• 
  Yasushi Kanazawa, Kenichi Kanatani:
  Reliability of Fitting a Plane to Range Data. 1630-1635
• 
  Chu-Song Chen, Yi-Ping Hung, Ja-Ling Wu:
  Extraction of Corner-Edge-Surface Structure from Range Images Using Mathematical Morphology. 1636-1641
• 
  Ryoji Haruki, Marc Rioux, Yasuhiro Ohtaki, Takahiko Horiuchi, Kazuhiko Yamamoto, Hiromitsu Yamada, Kazuo Toraichi:
  Three-Dimensional Measurement Approach for Seal Identification. 1642-1648
• 
  Abdelmalek B. C. Zidouri, Supoj Chinveeraphan, Makoto Sato:
  Recognition of Machine Printed Arabic Characters and Numerals Based on MCR. 1649-1655