International Journal of Informatics Society (IJIS)
ISSN: 1883-4566
Volume: 12, No: 3, Date: March 2021
Full Image: PDF (8.1MB)
Contents
Guest Editor's Message
T. Yamaguchi
Page: 141 (
PDF)
Regular Paper
Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees
R. Karashima, K. Okano, S. Ogata, S. Harauchi, and T. Sekizawa
Pages: 143-156 (
PDF)
Regular Paper
Analytical Method using Geotagged Tweets Developed for Tourist Spot Extraction and Real-time Analysis
M. Endo, M. Takahashi, M. Hirota, M. Imamura, and H. Ishikawa
Pages: 157-165 (
PDF)
Regular Paper
An Incremental Approach for Optimal Feature Selection in Regression: A Case Study of Wagyu Proteome Analysis
N. Higashiguchi, M. Motohiro, H. Ikegami, T. Matsuhashi, K. Matsumoto, and T. Yoshihiro
Pages: 167-175 (
PDF)
Regular Paper
Visual Appearance is not Always Useful: Voice is Preferred as a Mediating
T. Inoue, K. Kawai, B. Sun, and K. Sasaki
Pages: 177-185 (
PDF)
