IEICE Transactions, Volume 78-D

Volume 78-D, Number 1, January 1995

• 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

• 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 H. 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

• 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
  

• 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

• 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

• 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
  

• 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

• 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
  

• 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

• 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
  

• 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

• 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
  
• Yasunage 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

• 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
  

• 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

• 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

• 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
  

• 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

• 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
  

Last update Thu May 23 18:51:24 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page