Wed, Mar 6 PM 13:20 - 14:20 |
(1) |
13:20-13:40 |
Towards Personalization of Home Electricity Peak Shaving Application |
Keisuke Tokuda, Shinsuke Matsumoto, Masahide Nakamura (Koube Univ.) |
(2) |
13:40-14:00 |
Implementing Materialized View of Large-Scale Power Consumption Log Using MapReduce |
Yuki Ise, Shintaro Yamamoto, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) |
(3) |
14:00-14:20 |
A Study on Personalized Visualization Service of Energy Consumption in Home Network System |
Yuichi Watanabe, Keisuke Tokuda, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) |
|
14:20-14:30 |
Break ( 10 min. ) |
Wed, Mar 6 PM 14:30 - 16:10 |
(4) |
14:30-14:50 |
Parameter behavior of significant words selection in spam mail classification using a machine learning technique with tf-idf method |
Shintaro Ishizaki, Yuki Hashimura, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.) |
(5) |
14:50-15:10 |
A Support Tool for Understanding Programs and Visualizing Algorithms
-- Creating Flowcharts Based on Hierarchical Graph Drawings -- |
Rei Takahara, Fumiya Makimori, Masahiro Yamauchi (Kinki Univ.), Daisuke Takafuji, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.) |
(6) |
15:10-15:30 |
Revisiting Delta-Notch signalling in Drosophila through logical modelling and analysis |
Mayuka Onishi, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.) |
(7) |
15:30-15:50 |
Consideration in Laboratory Assignment Problem with Various Criteria |
Saki Nakamura, Shinya Nogami (Tokyo Univ. of Science) |
(8) |
15:50-16:10 |
Temporal-Spatial Collaboration by Smart Voice Messaging in Nursing and Caregiving
-- System Architecture and Experimental Results -- |
Naoshi Uchihira, Kentaro Torii (Toshiba), Yuji Hirabayashi (Shimizu Corporation), Sunseong Choe, Kunihiko Hiraishi (JAIST), Tetsuro Chino (Toshiba), Taro Sugihara (JAIST) |
|
16:10-16:20 |
Break ( 10 min. ) |
Wed, Mar 6 PM 16:20 - 18:00 |
(9) |
16:20-16:40 |
Multiple Programming Languages Support Customizable Bug Localization Framework |
Kiyofumi Shimojo, Kazunori Sakamoto, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) |
(10) |
16:40-17:00 |
Towards detection of automatically undetectable violations focused on the locality of coding standards violations |
Yasunari Takai (Nagoya Univ.), Takashi Kobayashi (Tokyo Inst. of Tech./Nagoya Univ.), Noritoshi Atsumi (Nagoya Univ.), Shinichiro Yamamoto (Aichi Pref. Univ.), Kiyoshi Agusa (Kyoto Univ.) |
(11) |
17:00-17:20 |
Linking Fixed Bug Report to Source Code Using N-gram |
Hiroki Kawai, Hidetake Uwano (NNCT), Akinori Ihara (NAIST) |
(12) |
17:20-17:40 |
Automatic Generation of Error Correction Questions for Programming Learning |
Yoshinari Hachisu, Atsushi Yoshida (Nanzan Univ.) |
(13) |
17:40-18:00 |
Propagation Probability of Data Dependency for Fault Localization |
Sanae Muramatsu (Nagoya Univ.), Takashi Kobayashi (Tokyo Inst. of Tech./Nagoya Univ.), Noritoshi Atsumi (Nagoya Univ.), Kiyoshi Agusa (Kyoto Univ.) |
Thu, Mar 7 AM 09:30 - 10:50 |
(14) |
09:30-09:50 |
Discrete Abstraction of Stochastic Hybrid Systems
-- Application to Analysis of Genetic Toggle Switches -- |
Yasuhito Fukui, Koichi Kobayashi, Kunihiko Hiraishi (JAIST) |
(15) |
09:50-10:10 |
An Application of Game Automaton to Quantitative Supervisory Control |
Sasinee Pruekprasert, Toshimitsu Ushio, Takafumi Kanazawa (Osaka Univ.) |
(16) |
10:10-10:30 |
Low Address Collision Rate in Multiple Hash Tables |
Eleazar Jimenez Serrano (Kyushu Univ.) |
(17) |
10:30-10:50 |
Extract Superclass Problem of Workflow Nets and a Solution Method |
Sohma Nishi, Shingo Yamaguchi (Yamaguchi Univ.) |
|
10:50-11:00 |
Break ( 10 min. ) |
Thu, Mar 7 AM 11:00 - 12:00 |
(18) |
11:00-11:20 |
Change based model considering temporal locality of Interaction histories |
Hironori Maruoka (Nagoya Univ.), Takashi Kobayasi (Nagoya Univ./Tokyo Inst. of Tech.), Kiyoshi Agusa (Kyoto Univ.) |
(19) |
11:20-11:40 |
Multicore scheduling analysis with task migration |
Takayuki Nakadozono, Shoji Yuen (Nagoya Univ.) |
(20) |
11:40-12:00 |
On Composing the Simplex Method and Gomory Cut for Deriving Integer Assignments |
Masaaki Fushimi, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.) |
Thu, Mar 7 PM 13:00 - 14:00 |
(21) |
13:00-14:00 |
[Invited Talk]
Online Adaptation of Decision Making on a Soccer Agent Team |
Hidehisa Akiyama (Fukuoka Univ.) |
|
14:00-14:10 |
Break ( 10 min. ) |
Wed, Mar 6 PM 14:20 - 15:20 |
(22) |
14:20-14:40 |
Empirical Research on Design by Contract based Software Development using Software Repository |
Kazuki Yoshioka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
(23) |
14:40-15:00 |
MetricsViewer: A Software Metrics Visualization Tool Using Service-Oriented Mining Software Repository |
Yasutaka Sakamoto, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) |
(24) |
15:00-15:20 |
Measurement of the Degree of ‘Loss of Anonymity’ in Communication Systems |
Atsushi Iwai (Gunma Univ.) |
|
15:20-15:30 |
Break ( 10 min. ) |
Thu, Mar 7 PM 15:30 - 16:50 |
(25) |
15:30-15:50 |
Dynamic Zone Allocation for Controlling Multi-Car Elevators |
Hiroki Ishihara, Shohei Kato (Nagoya Inst. of Tech.) |
(26) |
15:50-16:10 |
Shaft Coordination for Multi -Cycle Operation of Multi-car Elevator |
QuangHung Nguyen, Koji Takahashi (Tokyo Inst. of Tech.) |
(27) |
16:10-16:30 |
Local Search Approach for Dispatch and Conflict-free Routing Problem of Capacitated AGV Systems |
Kensuke Inoue, Toshiyuki Miyamoto (Osaka Univ.) |
(28) |
16:30-16:50 |
Multi-Agent Simulation of Bulletin Board System Bullying Issues |
Daisuke Cho, Shin'nosuke Yamaguchi, Yoshimasa Ohnishi (Kyushu Inst. of Tech.), Shinichi Tumori (Kyushu Junior College of Kinki Univ.), Noritaka Wakana, Naoki Satou, Kazunori Nishino (Kyushu Inst. of Tech.) |