Engineering Sciences/NOLTA-Mathematical Systems Science and its applications(Date:2017/03/16)

Presentation
Verification Methods of real-time properties for embedded assembly program

Satoshi Yamane(Kanazawa Univ.),  

[Date]2017-03-16
[Paper #]MSS2016-83
Topology-based Featrue Extraction from 3D Motion Gestutre

Kazuki Nakada(Hiroshima City Univ.),  Keiji Miura(Kwansei Gakuin Univ.),  

[Date]2017-03-16
[Paper #]MSS2016-84
Analysis of Cooperative Behavior in Nursing and Caregiving Services

Koichi Kobayashi(Hokkaido Univ.),  Kunihiko Hiraishi(JAIST),  Sunseong Choe(Osaka Univ. of Economics and Law),  Naoshi Uchihira(JAIST),  

[Date]2017-03-16
[Paper #]MSS2016-82
Phase Transition in Adaptive Cellular Automata with Binary Metarule

Shigeru Ninagawa(KIT),  

[Date]2017-03-16
[Paper #]MSS2016-81
On Decision of Determiner Set of Graphs

Takafumi Goto(Yamaguchi Univ.),  Mitsuru Nakata(Yamaguchi Univ.),  Qi-Wei Ge(Yamaguchi Univ.),  

[Date]2017-03-16
[Paper #]MSS2016-85
Finding the Candidates of Attributes in Mail Words Filtered by Bayesian Method

Nozomi Fujii(Yamacguchi Univ.),  Manabu Sugii(Yamacguchi Univ.),  Hiroshi Matsuno(Yamacguchi Univ.),  

[Date]2017-03-16
[Paper #]MSS2016-89
A derivational criterion for measuring edge importance by means of leveling variables on nodes

Kento Hamada(Soka Univ.),  Eiichi takazawa(Soka Univ.),  Norihiko Shinomiya(Soka Univ.),  

[Date]2017-03-16
[Paper #]MSS2016-88
Design and Development of an Electronic Watching System and Behavior Prediction for Advanced Watching

Arata Sashida(Univ. of the Ryukyus),  Hideki Kinjo(Okinawa Univ.),  Akira Sakima(Kuniken Systems),  Morikazu Nakamura(Univ. of the Ryukyus),  

[Date]2017-03-16
[Paper #]MSS2016-87
Improvement of Similar Subgraph Search Method for Historical Document Image Retrieval System

Hiroaki Kodama(Yamaguchi Univ.),  Honomi Takata(Yamaguchi Univ.),  Reiko Yamamoto(Yamaguchi Univ.),  Mitsuru Nakata(Yamaguchi Univ.),  Qi-Wei Ge(Yamaguchi Univ.),  Makoto Yoshimura(Yamaguchi Univ.),  

[Date]2017-03-16
[Paper #]MSS2016-86
Language Classification Method Based on Basic Vocabulary and Language Features

Yuya Matsuura(Yamaguchi Univ.),  Ren Wu(Yamaguchi Junior Coll.),  Hiroshi Matsuno(Yamaguchi Univ.),  

[Date]2017-03-16
[Paper #]MSS2016-90
Studies of Rule Induction by STRIM from the Decision Table with Missing Attribute Values

Yuta Fukushima(Shimane Univ.),  Yuichi Kato(Shimane Univ.),  Tetsuro Saeki(Yamaguchi Univ.),  

[Date]2017-03-17
[Paper #]MSS2016-91
Proposal of Dominance-based Rough Set Approach for STRIM and its Applied Example

Takahiro Itsuno(Shimane Univ.),  Yuichi Kato(Shimane Univ.),  Tetsuro Saeki(Yamaguchi Univ.),  

[Date]2017-03-17
[Paper #]MSS2016-92
Dependency Analysis of Transitions in Retention-Free Petri Net

Atsushi Mizuta(Yamaguchi Univ.),  Qi-Wei GE(Yamaguchi Univ.),  Hiroshi Matsuno(Yamaguchi Univ.),  

[Date]2017-03-17
[Paper #]MSS2016-93
An Aspect-Oriented Approach to Tailor-Made Service Design

Taku Ogawa(Yamaguchi Univ.),  Muhammad Syafiq Bin Ab Malek(Yamaguchi Univ.),  Shingo Yamaguchi(Yamaguchi Univ.),  

[Date]2017-03-17
[Paper #]MSS2016-94