IEICE SEARCH SYSTEM

IEICE TRANSACTIONS on Information and Systems

Archive Index

Online ISSN : 1745-1361

Volume E95-D No.4 (Publication Date:2012/04/01)

RSS Feed(Latest Issue)

Special Section on Knowledge-Based Software Engineering

pp.909-910 FOREWORD Open Access Paper FOREWORD Takako NAKATANI
	Summary \| Free Full Text:PDF (69.6KB)

pp.911-920 PAPER A Development of Game-Based Learning Environment to Activate Interaction among Learners Ryo TAKAOKA Masayuki SHIMOKAWA Toshio OKAMOTO
	Summary \| Full Text:PDF (1.4MB)

pp.921-931 PAPER OntoPop: An Ontology Population System for the Semantic Web Theerayut THONGKRAU Pattarachai LALITROJWONG
	Summary \| Full Text:PDF (1.4MB)

pp.932-941 PAPER Extracting Communities of Interests for Semantics-Based Graph Searches Makoto NAKATSUJI Akimichi TANAKA Toshio UCHIYAMA Ko FUJIMURA
	Summary \| Full Text:PDF (650.7KB)

pp.942-958 PAPER An Extensible Aspect-Oriented Modeling Environment for Constructing Domain-Specific Languages Naoyasu UBAYASHI Yasutaka KAMEI
	Summary \| Full Text:PDF (1.3MB)

pp.959-969 PAPER Reticella: An Execution Trace Slicing and Visualization Tool Based on a Behavior Model Kunihiro NODA Takashi KOBAYASHI Shinichiro YAMAMOTO Motoshi SAEKI Kiyoshi AGUSA
	Summary \| Full Text:PDF (1.4MB)

pp.970-981 PAPER Rough-Mutual Feature Selection Based on Min-Uncertainty and Max-Certainty Sombut FOITONG Ouen PINNGERN Boonwat ATTACHOO
	Summary \| Full Text:PDF (526.7KB)

pp.982-988 PAPER Enhancing Digital Book Clustering by LDAC Model Lidong WANG Yuan JIE
	Summary \| Full Text:PDF (540.3KB)

pp.989-1002 PAPER Workflows with Passbacks and Incremental Verification of Their Correctness Osamu TAKAKI Izumi TAKEUTI Noriaki IZUMI Koiti HASIDA
	Summary \| Full Text:PDF (726.2KB)

pp.1003-1011 PAPER Trade-Off Analysis between Concerns Based on Aspect-Oriented Requirements Engineering Abelyn Methanie R. LAURITO Shingo TAKADA
	Summary \| Full Text:PDF (588.1KB)

pp.1012-1020 PAPER Impact Analysis on an Attributed Goal Graph Shinpei HAYASHI Daisuke TANABE Haruhiko KAIYA Motoshi SAEKI
	Summary \| Full Text:PDF (905.9KB)

pp.1021-1030 PAPER Toward the Decision Tree for Inferring Requirements Maturation Types Takako NAKATANI Narihito KONDO Junko SHIROGANE Haruhiko KAIYA Shozo HORI Keiichi KATAMINE
	Summary \| Full Text:PDF (577.4KB)

pp.1031-1043 PAPER Finding Incorrect and Missing Quality Requirements Definitions Using Requirements Frame Haruhiko KAIYA Atsushi OHNISHI
	Summary \| Full Text:PDF (561.2KB)

pp.1044-1051 PAPER Scenario Generation Using Differential Scenario Information Masayuki MAKINO Atsushi OHNISHI
	Summary \| Full Text:PDF (1.7MB)

Regular Section

pp.1052-1061 PAPER-Computer System Support Efficient and Fault-Tolerant Multicast in Bufferless Network-on-Chip Chaochao FENG Zhonghai LU Axel JANTSCH Minxuan ZHANG Xianju YANG
	Summary \| Full Text:PDF (1.8MB)

pp.1062-1073 PAPER-Data Engineering, Web Information Systems Economical and Fault-Tolerant Load Balancing in Distributed Stream Processing Systems Fuyuan XIAO Teruaki KITASUKA Masayoshi ARITSUGI
	Summary \| Full Text:PDF (615.2KB)

pp.1074-1083 PAPER-Dependable Computing Reconfiguration-Based Fault Tolerant Control of Dynamical Systems: A Control Reallocation Approach Ali MORADI AMANI Ahmad AFSHAR Mohammad Bagher MENHAJ
	Summary \| Full Text:PDF (663.6KB)

pp.1084-1092 PAPER-Dependable Computing A C-Testable Multiple-Block Carry Select Adder Nobutaka KITO Shinichi FUJII Naofumi TAKAGI
	Summary \| Full Text:PDF (311.9KB)

pp.1093-1100 PAPER-Dependable Computing Generation of Diagnostic Tests for Transition Faults Using a Stuck-At ATPG Tool Yoshinobu HIGAMI Satoshi OHNO Hironori YAMAOKA Hiroshi TAKAHASHI Yoshihiro SHIMIZU Takashi AIKYO
	Summary \| Full Text:PDF (503.1KB)

pp.1101-1111 PAPER-Speech and Hearing Improving the Readability of ASR Results for Lectures Using Multiple Hypotheses and Sentence-Level Knowledge Yasuhisa FUJII Kazumasa YAMAMOTO Seiichi NAKAGAWA
	Summary \| Full Text:PDF (799KB)

pp.1112-1119 PAPER-Image Processing and Video Processing A Contrast Enhancement Method for HDR Image Using a Modified Image Formation Model Byoung-Ju YUN Hee-Dong HONG Ho-Hyoung CHOI
	Summary \| Full Text:PDF (1.2MB)

pp.1120-1129 PAPER-Image Processing and Video Processing Codestream-Based Identification of JPEG 2000 Images with Different Coding Parameters Osamu WATANABE Takahiro FUKUHARA Hitoshi KIYA
	Summary \| Full Text:PDF (4.3MB)

pp.1130-1141 PAPER-Image Recognition, Computer Vision Accuracy of Gradient-Based Optical Flow Estimation in High-Frame-Rate Video Analysis Lei CHEN Takeshi TAKAKI Idaku ISHII
	Summary \| Full Text:PDF (4MB)

pp.1142-1150 PAPER-Biological Engineering Segmenting the Femoral Head and Acetabulum in the Hip Joint Automatically Using a Multi-Step Scheme Ji WANG Yuanzhi CHENG Yili FU Shengjun ZHOU Shinichi TAMURA
	Summary \| Full Text:PDF (2.2MB)

pp.1151-1154 LETTER-Software Engineering Towards Applying Dynamic Software Updating for DDS-Based Applications Dong Kwan KIM Won-Tae KIM Seung-Min PARK
	Summary \| Full Text:PDF (498.8KB)

pp.1155-1158 LETTER-Information Network Lightweight Distance Bounding Protocol against Relay Attacks Jin Seok KIM Kookrae CHO Dae Hyun YUM Sung Je HONG Pil Joong LEE
	Summary \| Full Text:PDF (73.3KB)

pp.1159-1161 LETTER-Dependable Computing Design of a Tree-Queue Model for a Large-Scale System Byungsung PARK Jaeyeong YOO Hagbae KIM
	Summary \| Full Text:PDF (143KB)

pp.1162-1165 LETTER-Artificial Intelligence, Data Mining A Parallel Implementation of the Gustafson-Kessel Clustering Algorithm with CUDA Jeong Bong SEO Dae-Won KIM
	Summary \| Full Text:PDF (506.5KB)

pp.1166-1169 LETTER-Image Processing and Video Processing Fast Hypercomplex Polar Fourier Analysis Zhuo YANG Sei-ichiro KAMATA
	Summary \| Full Text:PDF (383.5KB)

pp.1170-1173 LETTER-Image Recognition, Computer Vision Segmentation of Depth-of-Field Images Based on the Response of ICA Filters Andre CAVALCANTE Allan Kardec BARROS Yoshinori TAKEUCHI Noboru OHNISHI
	Summary \| Full Text:PDF (1.8MB)