Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS |
2015-03-05 13:00 |
Ishikawa |
IT Business Plaza Musashi |
An improvement of topological queue layouts of complete graphs Miki Miyauchi (NTT) MSS2014-91 |
(To be available after the conference date) [more] |
MSS2014-91 pp.1-6 |
MSS |
2015-03-05 13:25 |
Ishikawa |
IT Business Plaza Musashi |
Optimal LLP supervisory control based on the learning of state transition model Hijiri Umemoto, Tatsushi Yamasaki (Setsunan Univ.) MSS2014-92 |
The authors have proposed an optimal LLP supervisory control method based on reinforcement learning for discrete event s... [more] |
MSS2014-92 pp.7-12 |
MSS |
2015-03-05 13:50 |
Ishikawa |
IT Business Plaza Musashi |
Path Finding Algorithms for large-scale building with structural change Tomohiro Shimizu, Ken Umeno (Kyoto Univ.), Alice Okabe, Atsuko Enomoto, Yoichi Nonaka (Hitachi) MSS2014-93 |
We introduce the problem to find optimal carry-out/carry-in paths for the maintenance tasks of a large-scale plant. To r... [more] |
MSS2014-93 pp.13-18 |
MSS |
2015-03-05 15:30 |
Ishikawa |
IT Business Plaza Musashi |
Code clone detection using parallel distributed processing for software revision history Shin Chadani, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2014-94 |
In software development with a version control system, code clones detected from the version history of the code can be ... [more] |
MSS2014-94 pp.19-24 |
MSS |
2015-03-05 16:05 |
Ishikawa |
IT Business Plaza Musashi |
Forcasting Individual stock prices using Deep Learning Kazuya Matsumoto, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2014-95 |
[more] |
MSS2014-95 pp.25-30 |
MSS |
2015-03-05 16:25 |
Ishikawa |
IT Business Plaza Musashi |
Boolean mapping of a multivalued model using GINsim
-- A toy example -- Kaori Mitani, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.) MSS2014-96 |
[more] |
MSS2014-96 pp.31-34 |
MSS |
2015-03-05 16:45 |
Ishikawa |
IT Business Plaza Musashi |
A Method of Making Character State Data for Generating Language-Family Trees Based on Basic Vocabulary Yuya Matsuura (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior Coll.), Hiroshi Matsuno (Yamaguchi Univ.) MSS2014-97 |
[more] |
MSS2014-97 pp.35-40 |
MSS |
2015-03-05 17:05 |
Ishikawa |
IT Business Plaza Musashi |
Equivalent Transformation of Retention-Free Petri Net by Dependent Shrink Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) MSS2014-98 |
We have investigated the properties of dependent shrink based on dependency of transitions in retention-free Petri net m... [more] |
MSS2014-98 pp.41-46 |
MSS |
2015-03-06 10:00 |
Ishikawa |
IT Business Plaza Musashi |
SMT-based Model Checking for Linear Hybrid Automata using CEGAR Shohei Tomisaka, Ryo Yanase, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2014-99 |
[more] |
MSS2014-99 pp.47-52 |
MSS |
2015-03-06 10:25 |
Ishikawa |
IT Business Plaza Musashi |
Development of SMT-based model checker for assembly cords using interrupts reduction technique Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.) MSS2014-100 |
Recently, embedded software has properties dependent on hardware (direct operation of address spaces, memory mapped I/O,... [more] |
MSS2014-100 pp.53-58 |
MSS |
2015-03-06 13:30 |
Ishikawa |
IT Business Plaza Musashi |
Parallel Distributed Clustering Algorithm with Node Partition and Aggregation in Large-Scale Graphs Riku Asayama, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2014-101 |
In this paper, we propose the rapid clustering method with the large-scaled graph structured data. Our approach is a dat... [more] |
MSS2014-101 pp.59-64 |
MSS |
2015-03-06 13:55 |
Ishikawa |
IT Business Plaza Musashi |
The symbolic model checking by the model extraction from embedded assembly program Tomonori Kato, Ryosuke Konoshita, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) MSS2014-102 |
Embedded systems have been widely used. In addition, embedded systems have been gradually complicated.It is important to... [more] |
MSS2014-102 pp.65-70 |
MSS |
2015-03-06 14:20 |
Ishikawa |
IT Business Plaza Musashi |
A Retrieval Method of Similar Subgraphs Used in Japanese Historical Documents Image Retrieval System Hiroaki Nagaoka, Yuichiro Iino, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) MSS2014-103 |
In this paper, we propose a retrieval method of similar subgraphs in order to obtain
similar partial images used in J... [more] |
MSS2014-103 pp.71-76 |