IEICE Transactions on Information & Systems, Volume 91-D

Volume 91-D, Number 1, January 2008

Fundamentals of Software and Theory of Programs

• 
  Takashi Ajiro, Kensei Tsuchida:
  A Model of Computation for Bit-Level Concurrent Computing and Programming: APEC. 1-14

Database

• 
  Yon Dohn Chung, Chang-Sup Park:
  Energy-Efficient Processing of Complex Queries over a Wireless Broadcast Data Stream. 15-22

Dependable Computing

• 
  Kazuki Iwamoto, Tadashi Dohi, Naoto Kaio:
  Estimating Periodic Software Rejuvenation Schedules under Discrete-Time Operation Circumstance. 23-31

Artificial Intelligence and Cognitive Science

• 
  Jaehun Lee, Wooyong Chung, Euntai Kim:
  Structure Learning of Bayesian Networks Using Dual Genetic Algorithm. 32-43

Rehabilitation Engineering and Assistive Technology

• 
  Montri Phothisonothai, Masahiro Nakagawa:
  EEG-Based Classification of Motor Imagery Tasks Using Fractal Dimension and Neural Network for Brain-Computer Interface. 44-53

Image Processing and Video Processing

• 
  Chin-Chen Chang, Pei-Yu Lin:
  A Color Image Authentication Method Using Partitioned Palette and Morphological Operations. 54-61
• 
  JunHak Lee, Takahiko Horiuchi, Shoji Tominaga:
  Multi-Level Confined Error Diffusion Algorithm for Flat Panel Display. 62-69
• 
  Akio Yoneyama, Yasuhiro Takishima, Yasuyuki Nakajima, Yoshinori Hatori:
  Video Error Concealment Using Fidelity Tracking. 70-77

Image Recognition, Computer Vision

• 
  San Ko, Kyoung Mu Lee:
  Structural Object Recognition Using Entropy Correspondence Measure of Line Features. 78-85
• 
  Jun-ichi Imai, Masahide Kaneko:
  Visual Tracking in Occlusion Environments by Autonomous Switching of Targets. 86-95
• 
  Chunsheng Hua, Qian Chen, Haiyuan Wu, Toshikazu Wada:
  RK-Means Clustering: K-Means with Reliability. 96-104
• 
  Bilan Zhu, Masaki Nakagawa:
  Segmentation of On-Line Freely Written Japanese Text Using SVM for Improving Text Recognition. 105-113
• 
  Yong Ho Hwang, Jung-Kak Seo, Hyun-Ki Hong:
  Key-Frame Selection and an LMedS-Based Approach to Structure and Motion Recovery. 114-123

Computer Graphics

• 
  Byeong-Seok Shin, Dong-Ryeol Oh, Daniel Kang:
  Real-Time Point-Based Rendering Using Visibility Map. 124-131

Biological Engineering

• 
  Rui Xu, Yen-Wei Chen, Songyuan Tang, Shigehiro Morikawa, Yoshimasa Kurumi:
  Parzen-Window Based Normalized Mutual Information for Medical Image Registration. 132-144

Letters Automata and Formal Language Theory

• 
  Keehang Kwon, Dae-Seong Kang, Jinsoo Kim:
  A Query System for Texts with Macros. 145-147

Application Information Security

• 
  Hao Luo, Zhe-Ming Lu, Shu-Chuan Chu, Jeng-Shyang Pan:
  Self Embedding Watermarking Scheme Using Halftone Image. 148-152

Image Recognition, Computer Vision

• 
  Chul-Hyun Kwon, Doo-Jin Han, Hyun-Sool Kim, Myung-Ho Lee, Sang-Hui Park:
  Dissolve Detection Using Intensity Change Information of Edge Pixels. 153-157

Volume 91-D, Number 2, February 2008

Special Section on Foundations of Computer Science

• 
  Chuzo Iwamoto:
  Special Section on Foundations of Computer Science. 161

Papers Graph Algorithms

• 
  Takeyuki Tamura, Hiro Ito:
  Inferring Pedigree Graphs from Genetic Distances. 162-169
• 
  Yoshihiro Takahara, Sachio Teramoto, Ryuhei Uehara:
  Longest Path Problems on Ptolemaic Graphs. 170-177

Graphs and Networks

• 
  Peng Cheng, Shigeru Masuyama:
  Inequalities on the Number of Connected Spanning Subgraphs in a Multigraph. 178-186

Approximation Algorithms

• 
  Ryoso Hamane, Toshiya Itoh:
  Improved Approximation Algorithms for Item Pricing with Bounded Degree and Valuation. 187-199

Scoring Algorithms

• 
  Yasuhito Asano, Yu Tezuka, Takao Nishizeki:
  Improvements of HITS Algorithms for Spam Links. 200-208

Formal Language Theory

• 
  Hiroyuki Seki, Yuki Kato:
  On the Generative Power of Multiple Context-Free Grammars and Macro Grammars. 209-221

Algorithmic Learning Theory

• 
  Satoshi Matsumoto, Takayoshi Shoudai, Tomoyuki Uchida, Tetsuhiro Miyahara, Yusuke Suzuki:
  Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries. 222-230

Letter Algorithm Theory

• 
  Ronghui Tu, Yongyi Mao, Jiying Zhao:
  Survey Propagation as "Probabilistic Token Passing". 231-233

Regular Section Papers Computation and Computational Models

• 
  Haiyang Yu, Seizaburo Niitsuma:
  Detection of Displacement Vectors through Edge Segment Detection. 234-242

Database

• 
  Myung Ho Yeo, Young Soo Min, Kyoung Soo Bok, Jae Soo Yoo:
  The Optimization of In-Memory Space Partitioning Trees for Cache Utilization. 243-250

Contents Technology and Web Information Systems

• 
  Po-Ching Lin, Ming-Dao Liu, Ying-Dar Lin, Yuan-Cheng Lai:
  Accelerating Web Content Filtering by the Early Decision Algorithm. 251-257

Networks

• 
  Moo Sung Park, Byungjoo Lee, Seung Hyong Rhee:
  Distributed Multiple Access Control for the Wireless Mesh Personal Area Networks. 258-263

Application Information Security

• 
  Makoto Shimamura, Miyuki Hanaoka, Kenji Kono:
  Filtering False Positives Based on Server-Side Behaviors. 264-276

Artificial Intelligence and Cognitive Science

• 
  Chen-Sung Chang:
  Fuzzy Rule Extraction from Dynamic Data for Voltage Risk Identification. 277-285

Pattern Recognition

• 
  Mauricio Kugler, Susumu Kuroyanagi, Anto Satriyo Nugroho, Akira Iwata:
  CombNET-III with Nonlinear Gating Network and Its Application in Large-Scale Classification Problems. 286-295

Speech and Hearing

• 
  Jeih-Weih Hung:
  Cepstral Statistics Compensation and Normalization Using Online Pseudo Stereo Codebooks for Robust Speech Recognition in Additive Noise Environments. 296-311
• 
  Naoto Iwahashi:
  Interactive Learning of Spoken Words and Their Meanings Through an Audio-Visual Interface. 312-321

Image Processing and Video Processing

• 
  Kyu Nam Choi, No Kap Park, Suk In Yoo:
  Image Restoration for Quantifying TFT-LCD Defect Levels. 322-329
• 
  Gamhewage C. de Silva, Toshihiko Yamasaki, Kiyoharu Aizawa:
  Ubiquitous Home: Retrieval of Experiences in a Home Environment. 330-340

Image Recognition, Computer Vision

• 
  Fan Chen, Kazunori Kotani:
  Facial Expression Recognition by Supervised Independent Component Analysis Using MAP Estimation. 341-350

Biological Engineering

• 
  Chia-Hsiang Wu, Yung-Nien Sun, Yi-Chiao Chen, Chien-Chen Chang:
  Endoscopic Feature Tracking and Scale-Invariant Estimation of Soft-Tissue Structures. 351-360

Letters Computer Components

• 
  Su-Hon Lin, Ming-Hwa Sheu:
  Area-Time Efficient Modulo 2ⁿ - 1 Adder Design Using Hybrid Carry Selection. 361-362

Data Mining

• 
  Fan Li, Shijin Dai, Qihe Liu, Guowei Yang:
  New Inter-Cluster Proximity Index for Fuzzy c-Means Clustering. 363-366

Speech and Hearing

• 
  Ji-Yeoun Lee, Sangbae Jeong, Minsoo Hahn:
  Pathological Voice Detection Using Efficient Combination of Heterogeneous Features. 367-370
• 
  Lin Yang, Jianping Zhang, Jian Shao, Yonghong Yan:
  Effects of the Temporal Fine Structure in Different Frequency Bands on Mandarin Tone Perception. 371-374

Image Recognition, Computer Vision

• 
  Bing Li, De Xu, Jinhua Wang, Rui Lu:
  Color Constancy Based on Image Similarity. 375-378

Music Information Processing

• 
  Tacksung Choi, Young-Cheol Park, Dae Hee Youn:
  Design of Time-Varying Reverberators for Low Memory Applications. 379-382

Volume 91-D, Number 3, March 2008

Special Section on Robust Speech Processing in Realistic Environments

• 
  Kazuya Takeda:
  Special Section on Robust Speech Processing in Realistic Environments. 391-392

Papers

• 
  Futoshi Asano:
  Signal Processing Techniques for Robust Speech Recognition. 393-401

Noisy Speech Recognition

• 
  Takatoshi Jitsuhiro, Tomoji Toriyama, Kiyoshi Kogure:
  Noise Suppression Based on Multi-Model Compositions Using Multi-Pass Search with Multi-Label N-gram Models. 402-410
• 
  Norihide Kitaoka, Souta Hamaguchi, Seiichi Nakagawa:
  Noisy Speech Recognition Based on Integration/Selection of Multiple Noise Suppression Methods Using Noise GMMs. 411-421
• 
  Satoshi Kobashikawa, Satoshi Takahashi:
  Robust Speech Recognition by Model Adaptation and Normalization Using Pre-Observed Noise. 422-429
• 
  Wooil Kim, John H. L. Hansen:
  Feature Compensation Employing Multiple Environmental Models for Robust In-Vehicle Speech Recognition. 430-438

Speech Enhancement

• 
  Tran Huy Dat, Kazuya Takeda, Fumitada Itakura:
  Multichannel Speech Enhancement Based on Generalized Gamma Prior Distribution with Its Online Adaptive Estimation. 439-447

ASR under Reverberant Conditions

• 
  Yotaro Kubo, Shigeki Okawa, Akira Kurematsu, Katsuhiko Shirai:
  Recognizing Reverberant Speech Based on Amplitude and Frequency Modulation. 448-456
• 
  Longbiao Wang, Seiichi Nakagawa, Norihide Kitaoka:
  Robust Speech Recognition by Combining Short-Term and Long-Term Spectrum Based Position-Dependent CMN with Conventional CMN. 457-466

Voice Activity Detection

• 
  Masakiyo Fujimoto, Kentaro Ishizuka:
  Noise Robust Voice Activity Detection Based on Switching Kalman Filter. 467-477

Feature Extraction

• 
  Makoto Sakai, Norihide Kitaoka, Seiichi Nakagawa:
  Linear Discriminant Analysis Using a Generalized Mean of Class Covariances and Its Application to Speech Recognition. 478-487
• 
  Mohammad Nurul Huda, Muhammad Ghulam, Takashi Fukuda, Kouichi Katsurada, Tsuneo Nitta:
  Canonicalization of Feature Parameters for Robust Speech Recognition Based on Distinctive Phonetic Feature (DPF) Vectors. 488-498

Acoustic Modeling

• 
  Tobias Cincarek, Tomoki Toda, Hiroshi Saruwatari, Kiyohiro Shikano:
  Cost Reduction of Acoustic Modeling for Real-Environment Applications Using Unsupervised and Selective Training. 499-507
• 
  Jinsong Zhang, Xinhui Hu, Satoshi Nakamura:
  Using Mutual Information Criterion to Design an Efficient Phoneme Set for Chinese Speech Recognition. 508-513
• 
  Qingqing Zhang, Jielin Pan, Yang Lin, Jian Shao, Yonghong Yan:
  Development of a Mandarin-English Bilingual Speech Recognition System for Real World Music Retrieval. 514-521

Language Modeling

• 
  Atsushi Sako, Tetsuya Takiguchi, Yasuo Ariki:
  Language Modeling Using PLSA-Based Topic HMM. 522-528

ASR System Architecture

• 
  Jian Shao, Ta Li, Qingqing Zhang, Qingwei Zhao, Yonghong Yan:
  A One-Pass Real-Time Decoder Using Memory-Efficient State Network. 529-537
• 
  Akinori Ito, Takanobu Oba, Takashi Konashi, Motoyuki Suzuki, Shozo Makino:
  Selection of Optimum Vocabulary and Dialog Strategy for Noise-Robust Spoken Dialog Systems. 538-548

Speaker Verification

• 
  Taichi Asami, Koji Iwano, Sadaoki Furui:
  Evaluation of a Noise-Robust Multi-Stream Speaker Verification Method Using F₀ Information. 549-557
• 
  Toshiaki Kamada, Nobuaki Minematsu, Takashi Osanai, Hisanori Makinae, Masumi Tanimoto:
  Speaker Verification in Realistic Noisy Environment in Forensic Science. 558-566

Language Identification

• 
  Hongbin Suo, Ming Li, Ping Lu, Yonghong Yan:
  Automatic Language Identification with Discriminative Language Characterization Based on SVM. 567-575

Applications

• 
  Tobias Cincarek, Hiromichi Kawanami, Ryuichi Nisimura, Akinobu Lee, Hiroshi Saruwatari, Kiyohiro Shikano:
  Development, Long-Term Operation and Portability of a Real-Environment Speech-Oriented Guidance System. 576-587
• 
  Hirofumi Yamamoto, Eiichiro Sumita:
  Bilingual Cluster Based Models for Statistical Machine Translation. 588-597
• 
  Yuki Denda, Takanobu Nishiura, Yoichi Yamashita:
  Omnidirectional Audio-Visual Talker Localization Based on Dynamic Fusion of Audio-Visual Features Using Validity and Reliability Criteria. 598-606

Corpus

• 
  Goshu Nagino, Makoto Shozakai, Tomoki Toda, Hiroshi Saruwatari, Kiyohiro Shikano:
  Building an Effective Speech Corpus by Utilizing Statistical Multidimensional Scaling Method. 607-614
• 
  Jinsong Zhang, Satoshi Nakamura:
  An Improved Greedy Search Algorithm for the Development of a Phonetically Rich Speech Corpus. 615-630

Letters

• 
  Kazuo Onoe, Shoei Sato, Shinichi Homma, Akio Kobayashi, Toru Imai, Tohru Takagi:
  Bi-Spectral Acoustic Features for Robust Speech Recognition. 631-634
• 
  Osamu Ichikawa, Takashi Fukuda, Masafumi Nishimura:
  Local Peak Enhancement for In-Car Speech Recognition in Noisy Environment. 635-639

Special Section on Test and Verification of VLSIs

• 
  Seiji Kajihara, Michiko Inoue:
  Special Section on Test and Verification of VLSIs. 640-641

Papers Verification and Timing Analysis

• 
  Frédéric Béal, Tomohiro Yoneda, Chris J. Myers:
  A Conservative Framework for Safety-Failure Checking. 642-654
• 
  Masanori Hashimoto, Junji Yamaguchi, Takashi Sato, Hidetoshi Onodera:
  Timing Analysis Considering Temporal Supply Voltage Fluctuation. 655-660

Fault Diagnosis

• 
  Koji Yamazaki, Yuzo Takamatsu:
  A Method of Locating Open Faults on Incompletely Identified Pass/Fail Information. 661-666
• 
  Yuta Yamato, Yusuke Nakamura, Kohei Miyase, Xiaoqing Wen, Seiji Kajihara:
  A Novel Per-Test Fault Diagnosis Method Based on the Extended X-Fault Model for Deep-Submicron LSI Circuits. 667-674
• 
  Yuzo Takamatsu, Hiroshi Takahashi, Yoshinobu Higami, Takashi Aikyo, Koji Yamazaki:
  Fault Diagnosis on Multiple Fault Models by Using Pass/Fail Information. 675-682

Defect-Based Testing

• 
  Kohei Miyase, Kenta Terashima, Xiaoqing Wen, Seiji Kajihara, Sudhakar M. Reddy:
  On Detection of Bridge Defects with Stuck-at Tests. 683-689
• 
  Yoshinobu Higami, Kewal K. Saluja, Hiroshi Takahashi, Shin-ya Kobayashi, Yuzo Takamatsu:
  Fault Simulation and Test Generation for Transistor Shorts Using Stuck-at Test Tools. 690-699
• 
  Yukiya Miura:
  Ramp Voltage Testing for Detecting Interconnect Open Faults. 700-705

Test Compression

• 
  Masayuki Arai, Satoshi Fukumoto, Kazuhiko Iwasaki:
  Study on Expansion of Convolutional Compactors over Galois Field. 706-712
• 
  Hideyuki Ichihara, Tomoyuki Saiki, Tomoo Inoue:
  An Architecture of Embedded Decompressor with Reconfigurability for Test Compression. 713-719
• 
  Masayuki Arai, Satoshi Fukumoto, Kazuhiko Iwasaki:
  Study on Test Data Reduction Combining Illinois Scan and Bit Flipping. 720-725
• 
  Masayuki Arai, Satoshi Fukumoto, Kazuhiko Iwasaki, Tatsuru Matsuo, Takahisa Hiraide, Hideaki Konishi, Michiaki Emori, Takashi Aikyo:
  Test Data Compression for Scan-Based BIST Aiming at 100x Compression Rate. 726-735

High-Level Testing

• 
  Fawnizu Azmadi Hussin, Tomokazu Yoneda, Alex Orailoglu, Hideo Fujiwara:
  Scheduling Power-Constrained Tests through the SoC Functional Bus. 736-746
• 
  Tomokazu Yoneda, Kimihiko Masuda, Hideo Fujiwara:
  Test Scheduling for Multi-Clock Domain SoCs under Power Constraint. 747-755
• 
  Tomoo Inoue, Takashi Fujii, Hideyuki Ichihara:
  A Self-Test of Dynamically Reconfigurable Processors with Test Frames. 756-762
• 
  Masato Nakasato, Michiko Inoue, Satoshi Ohtake, Hideo Fujiwara:
  Design for Testability Method to Avoid Error Masking of Software-Based Self-Test for Processors. 763-770

Letters

• 
  Hiroshi Takahashi, Yoshinobu Higami, Shuhei Kadoyama, Yuzo Takamatsu, Koji Yamazaki, Takashi Aikyo, Yasuo Sato:
  Post-BIST Fault Diagnosis for Multiple Faults. 771-775
• 
  Youhua Shi, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki:
  A Secure Test Technique for Pipelined Advanced Encryption Standard. 776-780

Regular Section Papers Algorithm Theory

• 
  Kazuya Haraguchi, Mutsunori Yagiura, Endre Boros, Toshihide Ibaraki:
  A Randomness Based Analysis on the Data Size Needed for Removing Deceptive Patterns. 781-788
• 
  Kuo-Tsung Tseng, Chang-Biau Yang, Kuo-Si Huang, Yung-Hsing Peng:
  Near-Optimal Block Alignments. 789-795

Dependable Computing

• 
  Wei Sun, Chen Yu, Xavier Défago, Yasushi Inoguchi:
  Dynamic Scheduling Real-Time Task Using Primary-Backup Overloading Strategy for Multiprocessor Systems. 796-806
• 
  Thomas Edison Yu, Tomokazu Yoneda, Danella Zhao, Hideo Fujiwara:
  Effective Domain Partitioning for Multi-Clock Domain IP Core Wrapper Design under Power Constraints. 807-814

Speech and Hearing

• 
  Shoei Sato, Akio Kobayashi, Kazuo Onoe, Shinichi Homma, Toru Imai, Tohru Takagi, Tetsunori Kobayashi:
  Mutual Information Based Dynamic Integration of Multiple Feature Streams for Robust Real-Time LVCSR. 815-824

Image Processing and Video Processing

• 
  Yung-Chiang Wei, Jar-Ferr Yang:
  Transformed-Domain Mode Selection for H.264 Intra-Prediction Improvement. 825-835
• 
  Chih-Yang Lin, Chin-Chen Chang, Yu-Zheng Wang:
  Reversible Steganographic Method with High Payload for JPEG Images. 836-845

Computer Graphics

• 
  Won-Jong Lee, Vason P. Srini, Woo-Chan Park, Shigeru Muraki, Tack-Don Han:
  An Effective Load Balancing Scheme for 3D Texture-Based Sort-Last Parallel Volume Rendering on GPU Clusters. 846-856

Letters Dependable Computing

• 
  Masato Kitakami, Bochuan Cai, Hideo Ito:
  A Checkpointing Method with Small Checkpoint Latency. 857-861

Application Information Security

• 
  Raúl Rodríguez-Colín, Claudia Feregrino Uribe, Jose-Alberto Martinez Villanueva:
  Robust Watermarking Scheme Applied to Radiological Medical Images. 862-864

Rehabilitation Engineering and Assistive Technology

• 
  Takashi Watanabe, Tomoya Masuko, Achmad Arifin, Makoto Yoshizawa:
  A Feasibility Study of Fuzzy FES Controller Based on Cycle-to-Cycle Control: An Experimental Test of Knee Extension Control. 865-868

Image Processing and Video Processing

• 
  Congyan Lang, De Xu, Ning Li:
  Modeling Bottom-Up Visual Attention for Color Images. 869-872

Volume 91-D, Number 4, April 2008

Special Section on Knowledge-Based Software Engineering

• 
  Takahira Yamaguchi:
  Special Section on Knowledge-Based Software Engineering. 879-880

Software Engineering

• 
  Atsushi Ohnishi:
  A Generation Method of Exceptional Scenarios from a Normal Scenario. 881-887
• 
  Osamu Mizuno, Tohru Kikuno:
  Prediction of Fault-Prone Software Modules Using a Generic Text Discriminator. 888-896
• 
  Haruhiko Kaiya, Akira Osada, Kenji Kaijiri:
  Identifying Stakeholders and Their Preferences about NFR by Comparing Use Case Diagrams of Several Existing Systems. 897-906
• 
  Junko Shirogane, Hajime Iwata, Kazuhiro Fukaya, Yoshiaki Fukazawa:
  GUI Change Method according to Roles of Widgets and Change Patterns. 907-920
• 
  Kazuma Yamamoto, Motoshi Saeki:
  Attributed Goal-Oriented Analysis Method for Selecting Alternatives of Software Requirements. 921-932
• 
  Shinpei Hayashi, Junya Katada, Ryota Sakamoto, Takashi Kobayashi, Motoshi Saeki:
  Design Pattern Detection by Using Meta Patterns. 933-944

Knowledge Engineering

• 
  Takeshi Morita, Naoki Fukuta, Noriaki Izumi, Takahira Yamaguchi:
  DODDLE-OWL: Interactive Domain Ontology Development with Open Source Software in Java. 945-958
• 
  Hiroyuki Sakai, Shigeru Masuyama:
  Cause Information Extraction from Financial Articles Concerning Business Performance. 959-968
• 
  Hyo-Jung Oh, Bo-Hyun Yun:
  Sentence Topics Based Knowledge Acquisition for Question Answering. 969-975

Ubiquitous Computing

• 
  Christian Hoareau, Ichiro Satoh:
  Query Language for Location-Based Services: A Model Checking Approach. 976-985

Letter

• 
  Masanobu Tsuruta, Hiroyuki Sakai, Shigeru Masuyama:
  An Informative DOM Subtree Identification Method from Web Pages in Unfamiliar Web Sites. 986-989

Computation and Computational Models

• 
  Kenya Ueno:
  Recursion Theoretic Operators for Function Complexity Classes. 990-995

Algorithm Theory

• 
  Yasuhiko Takenaga, Nao Katougi:
  Tree-Shellability of Restricted DNFs. 996-1002
•