IEICE TRANSACTIONS on Information and Systems

Archive Index

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

pp.1157-1157  FOREWORD  Open Access Paper
FOREWORD
Masaki NAKAMURA  
Summary | FreeFull Text:PDF(76.3KB)

pp.1158-1165  PAPER-Formal techniques
Symbolic Design of Networked Control Systems with State Prediction
Masashi MIZOGUCHI  Toshimitsu USHIO  
Summary | Full Text:PDF (445.7KB) >>Buy this Article

pp.1166-1171  PAPER-Formal techniques
Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem
Sasinee PRUEKPRASERT  Toshimitsu USHIO  
Summary | Full Text:PDF (572KB) >>Buy this Article

pp.1172-1181  PAPER-Formal techniques
Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages
Reona MINODA  Shin-ichi MINATO  
Summary | Full Text:PDF (1.5MB) >>Buy this Article

pp.1182-1189  PAPER-Formal techniques
Formal Verification-Based Redundancy Identification of Transition Faults with Broadside Scan Tests
Hiroshi IWATA  Nanami KATAYAMA  Ken'ichi YAMAGUCHI  
Summary | Full Text:PDF (651.8KB) >>Buy this Article

pp.1190-1199  PAPER-Formal techniques
Validating DCCP Simultaneous-Open and Feature Negotiation Procedures
Somsak VANIT-ANUNCHAI  
Summary | Full Text:PDF (1MB) >>Buy this Article

pp.1200-1209  PAPER-Formal tools
Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram
Toshiyuki MIYAMOTO  
Summary | Full Text:PDF (1.2MB) >>Buy this Article

pp.1210-1217  PAPER-Formal tools
A Formal Modeling Tool for Exploratory Modeling in Software Development
Tomohiro ODA  Keijiro ARAKI  Peter GORM LARSEN  
Summary | Full Text:PDF (910.9KB) >>Buy this Article

Regular Section

pp.1218-1230  PAPER-Software Engineering
Coverage-Based Clustering and Scheduling Approach for Test Case Prioritization
Wenhao FU  Huiqun YU  Guisheng FAN  Xiang JI  
Summary | Full Text:PDF (1.8MB) >>Buy this Article

pp.1231-1241  PAPER-Artificial Intelligence, Data Mining
Semi-Supervised Clustering Based on Exemplars Constraints
Sailan WANG  Zhenzhi YANG  Jin YANG  Hongjun WANG  
Summary | Full Text:PDF (1.2MB) >>Buy this Article

pp.1242-1250  PAPER-Artificial Intelligence, Data Mining
A Novel Embedding Model for Relation Prediction in Recommendation Systems
Yu ZHAO  Sheng GAO  Patrick GALLINARI  Jun GUO  
Summary | Full Text:PDF (1.8MB) >>Buy this Article

pp.1251-1261  PAPER-Artificial Intelligence, Data Mining
TongSACOM: A TongYiCiCiLin and Sequence Alignment-Based Ontology Mapping Model for Chinese Linked Open Data
Ting WANG  Tiansheng XU  Zheng TANG  Yuki TODO  
Summary | Full Text:PDF (2.4MB) >>Buy this Article

pp.1262-1270  PAPER-Artificial Intelligence, Data Mining
Community Discovery on Multi-View Social Networks via Joint Regularized Nonnegative Matrix Triple Factorization
Liangliang ZHANG  Longqi YANG  Yong GONG  Zhisong PAN  Yanyan ZHANG  Guyu HU  
Summary | Full Text:PDF (758.6KB) >>Buy this Article

pp.1271-1279  PAPER-Human-computer Interaction
A Shadow Cursor for Calibrating Screen Coordinates of Tabletop Displays and Its Evaluation
Makio ISHIHARA  Yukio ISHIHARA  
Summary | Full Text:PDF (1.5MB) >>Buy this Article

pp.1280-1289  PAPER-Educational Technology
A Method for Correcting Preposition Errors in Learner English with Feedback Messages
Ryo NAGATA  Edward WHITTAKER  
Summary | Full Text:PDF (1.3MB) >>Buy this Article

pp.1290-1302  PAPER-Pattern Recognition
Narrow Fingerprint Template Synthesis by Clustering Minutiae Descriptors
Zhiqiang HU  Dongju LI  Tsuyoshi ISSHIKI  Hiroaki KUNIEDA  
Summary | Full Text:PDF (3.5MB) >>Buy this Article

pp.1303-1315  PAPER-Pattern Recognition
Image Quality Assessment Based on Multi-Order Local Features Description, Modeling and Quantification
Yong DING  Xinyu ZHAO  Zhi ZHANG  Hang DAI  
Summary | Full Text:PDF (1.6MB) >>Buy this Article

pp.1316-1324  PAPER-Image Recognition, Computer Vision
Effective Indoor Localization and 3D Point Registration Based on Plane Matching Initialization
Dongchen ZHU  Ziran XING  Jiamao LI  Yuzhang GU  Xiaolin ZHANG  
Summary | Full Text:PDF (2.2MB) >>Buy this Article

pp.1325-1338  PAPER-Image Recognition, Computer Vision
Low-Rank Representation with Graph Constraints for Robust Visual Tracking
Jieyan LIU  Ao MA  Jingjing LI  Ke LU  
Summary | Full Text:PDF (3.1MB) >>Buy this Article

pp.1339-1349  PAPER-Image Recognition, Computer Vision
Image Modification Based on Spatial Frequency Components for Visual Attention Retargeting
Hironori TAKIMOTO  Syuhei HITOMI  Hitoshi YAMAUCHI  Mitsuyoshi KISHIHARA  Kensuke OKUBO  
Summary | Full Text:PDF (2.1MB) >>Buy this Article

pp.1350-1359  PAPER-Image Recognition, Computer Vision
Construction of Latent Descriptor Space and Inference Model of Hand-Object Interactions
Tadashi MATSUO  Nobutaka SHIMADA  
Summary | Full Text:PDF (1.8MB) >>Buy this Article

pp.1360-1363  LETTER-Data Engineering, Web Information Systems
A Noise Inference Method Based on Fast Context-Aware Tensor Decomposition
Qingfu FAN  Lei ZHANG  Wen LI  
Summary | Full Text:PDF (203KB) >>Buy this Article

pp.1364-1367  LETTER-Information Network
Number of Detectable Gradations in X-Ray Photographs of Cavities Inside 3-D Printed Objects
Masahiro SUZUKI  Piyarat SILAPASUPHAKORNWONG  Youichi TAKASHIMA  Hideyuki TORII  Kazutake UEHIRA  
Summary | Full Text:PDF (773KB) >>Buy this Article

pp.1368-1371  LETTER-Information Network
Inferring Phylogenetic Network of Malware Families Based on Splits Graph
Jing LIU  Yuan WANG  Pei Dai XIE  Yong Jun WANG  
Summary | Full Text:PDF (397.6KB) >>Buy this Article

pp.1372-1375  LETTER-Artificial Intelligence, Data Mining
An Attention-Based Hybrid Neural Network for Document Modeling
Dengchao HE  Hongjun ZHANG  Wenning HAO  Rui ZHANG  Huan HAO  
Summary | Full Text:PDF (422.6KB) >>Buy this Article

pp.1376-1379  LETTER-Artificial Intelligence, Data Mining
Illumination Normalization for Face Recognition Using Energy Minimization Framework
Xiaoguang TU  Feng YANG  Mei XIE  Zheng MA  
Summary | Full Text:PDF (3MB) >>Buy this Article

pp.1380-1383  LETTER-Pattern Recognition
Tensorial Kernel Based on Spatial Structure Information for Neuroimaging Classification
YingJiang WU  BenYong LIU  
Summary | Full Text:PDF (348.1KB) >>Buy this Article

pp.1384-1387  LETTER-Image Recognition, Computer Vision
License Plate Detection and Character Segmentation Using Adaptive Binarization Based on Superpixels under Illumination Change
Daehun KIM  Bonhwa KU  David K. HAN  Hanseok KO  
Summary | Full Text:PDF (717.7KB) >>Buy this Article | Errata[Uploaded on July 1,2017]

pp.1388-1392  LETTER-Image Recognition, Computer Vision
A Novel 3D Gradient LBP Descriptor for Action Recognition
Zhaoyang GUO  Xin'an WANG  Bo WANG  Zheng XIE  
Summary | Full Text:PDF (1007KB) >>Buy this Article

Previous | 
Next
go to Page Top