IEICE TRANSACTIONS on Information and Systems

Archive Index

Online ISSN : 1745-1361
Volume E98-D No.6  (Publication Date:2015/06/01)
[Whole issue]:PDF (23.4MB)
Previous | 
Next
Special Section on Formal Approach

pp.1120-1120  FOREWORD  Open Access Paper
FOREWORD
Kozo OKANO  
Summary | FreeFull Text:PDF(72.5KB)

pp.1121-1127  PAPER-Foundation
Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers
Masahiko SAKAI  Hidetomo NABESHIMA  
Summary | Full Text:PDF (1.7MB) >>Buy this Article

pp.1128-1136  PAPER-Petri net
State Number Calculation Problem of Workflow Nets
Mohd Anuaruddin BIN AHMADON  Shingo YAMAGUCHI  
Summary | Full Text:PDF (1.1MB) >>Buy this Article

pp.1137-1149  PAPER-Formal Verification
A Framework for Verifying the Conformance of Design to Its Formal Specifications
Dieu-Huong VU  Yuki CHIBA  Kenro YATAKE  Toshiaki AOKI  
Summary | Full Text:PDF (1.6MB) >>Buy this Article

pp.1150-1160  PAPER-Model Checking
A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction
Hideto OGAWA  Makoto ICHII  Tomoyuki MYOJIN  Masaki CHIKAHISA  Yuichiro NAKAGAWA  
Summary | Full Text:PDF (1.3MB) >>Buy this Article

pp.1161-1165  LETTER-Database Security
A Secrecy Criterion for Outsourcing Encrypted Databases Based on Inference Analysis
Yasunori ISHIHARA  Yasuhiro USHIROZAKO  Kengo MORI  Jun FURUKAWA  
Summary | Full Text:PDF (259.4KB) >>Buy this Article

Regular Section

pp.1166-1175  PAPER-Computer System
A New Approach to Embedded Software Optimization Based on Reverse Engineering
Nguyen Ngoc BINH  Pham Van HUONG  Bui Ngoc HAI  
Summary | Full Text:PDF (2.8MB) >>Buy this Article

pp.1176-1184  PAPER-Computer System
Long-Term Performance Evaluation of Hadoop Jobs in Public and Community Clouds
Kento AIDA  Omar ABDUL-RAHMAN  Eisaku SAKANE  Kazutaka MOTOYAMA  
Summary | Full Text:PDF (4.5MB) >>Buy this Article

pp.1185-1193  PAPER-Software Engineering
Approximating the Evolution History of Software from Source Code
Tetsuya KANDA  Takashi ISHIO  Katsuro INOUE  
Summary | Full Text:PDF (976.6KB) >>Buy this Article

pp.1194-1205  PAPER-Software Engineering
Variable Data-Flow Graph for Lightweight Program Slicing and Visualization
Yu KASHIMA  Takashi ISHIO  Shogo ETSUDA  Katsuro INOUE  
Summary | Full Text:PDF (794.5KB) >>Buy this Article

pp.1206-1212  PAPER-Information Network
Run-Based Trie Involving the Structure of Arbitrary Bitmask Rules
Kenji MIKAWA  Ken TANAKA  
Summary | Full Text:PDF (701.5KB) >>Buy this Article

pp.1213-1227  PAPER-Dependable Computing
Optimization Methods for Nop-Shadows Typestate Analysis
Chengsong WANG  Xiaoguang MAO  Yan LEI  Peng ZHANG  
Summary | Full Text:PDF (1.2MB) >>Buy this Article

pp.1228-1237  PAPER-Human-computer Interaction
Backchannel Prediction for Mandarin Human-Computer Interaction
Xia MAO  Yiping PENG  Yuli XUE  Na LUO  Alberto ROVETTA  
Summary | Full Text:PDF (938.1KB) >>Buy this Article

pp.1238-1246  PAPER-Image Recognition, Computer Vision
Face Recognition Across Poses Using a Single 3D Reference Model
Gee-Sern HSU  Hsiao-Chia PENG  Ding-Yu LIN  Chyi-Yeu LIN  
Summary | Full Text:PDF (1.3MB) >>Buy this Article

pp.1247-1250  LETTER-Data Engineering, Web Information Systems
Matching 3D CAD Assembly Models with Different Layouts of Components Using Projections
Kaoru KATAYAMA  Takumi SATO  
Summary | Full Text:PDF (2.5MB) >>Buy this Article

pp.1251-1255  LETTER-Human-computer Interaction
Multiclass Probabilistic Classification for Support Vector Machines
Ji-Sang BAE  Jong-Ok KIM  
Summary | Full Text:PDF (1.3MB) >>Buy this Article

pp.1256-1259  LETTER-Image Recognition, Computer Vision
Inequality-Constrained RPCA for Shadow Removal and Foreground Detection
Hang LI  Yafei ZHANG  Jiabao WANG  Yulong XU  Yang LI  Zhisong PAN  
Summary | Full Text:PDF (387.3KB) >>Buy this Article

Previous | 
Next
go to Page Top