Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2024-01-17 15:20 |
Ishikawa |
(Primary: On-site, Secondary: Online) |
Analysis of Traffic Flow Data Based on Event Extraction
-- Extraction of Main Routes from Large Trajectory Data -- Kunihiko Hiraishi (JAIST) MSS2023-57 SS2023-36 |
[more] |
MSS2023-57 SS2023-36 pp.31-34 |
SS, MSS |
2024-01-18 11:05 |
Ishikawa |
(Primary: On-site, Secondary: Online) |
Preliminary Study on Driver Drowsiness Detection with Deep Learning Using Vehicular Data Yutaro Nakagama, Daisuke Ishii (JAIST), Kazuki Yoshizoe (Kyushu Univ.) MSS2023-63 SS2023-42 |
Driver drowsiness detection (DDD) systems are being developed to prevent accidents caused by the distraction of automobi... [more] |
MSS2023-63 SS2023-42 pp.64-69 |
SS, MSS |
2024-01-17 14:30 |
Ishikawa |
(Primary: On-site, Secondary: Online) |
Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator Ryoma Furuyama, Daiki Kuyoshi, Yamane Satoshi (Kanazawa Univ.) MSS2023-55 SS2023-34 |
Imitation learning is often used in addition to reinforcement learning in environments where reward design is difficult ... [more] |
MSS2023-55 SS2023-34 pp.19-24 |
SS, MSS |
2024-01-17 14:55 |
Ishikawa |
(Primary: On-site, Secondary: Online) |
Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning Shunya Kidera, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane (Kanazawa Univ.) MSS2023-56 SS2023-35 |
[more] |
MSS2023-56 SS2023-35 pp.25-30 |
SS, MSS |
2024-01-18 11:30 |
Ishikawa |
(Primary: On-site, Secondary: Online) |
Deep Reinforcement Learning Using LMM's Studying Papers and Intrinsic Rewards Sota Nagano, Satoshi Yamane (Kanazawa Univ.) MSS2023-64 SS2023-43 |
Research combining deep reinforcement learning with a large language model (LLM) produced high scores even for open-worl... [more] |
MSS2023-64 SS2023-43 pp.70-75 |
SS, KBSE, IPSJ-SE [detail] |
2023-07-20 16:20 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Developing Location-Aware Service Platform Using Data Integration Platform Tomoro Nakahashi, Sinan Chen, Masahide Nakamura (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.) SS2023-6 KBSE2023-17 |
With the development of sensing technology, location-aware (LA) services, which utilize location information of moving o... [more] |
SS2023-6 KBSE2023-17 pp.31-36 |
SS, KBSE, IPSJ-SE [detail] |
2023-07-22 11:00 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Extracting User Needs for Personalized Smart Services Using Dialogue Agent with LLM Takuya Nakata, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Masahide Nakamura (Kobe Univ.) SS2023-19 KBSE2023-30 |
Research on service personalization involves approaches such as machine learning and dialogue agents, but the explainabi... [more] |
SS2023-19 KBSE2023-30 pp.104-109 |
SS |
2024-03-07 11:00 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Exploring Software Upcycling Methods to Support Effective Need Fulfillment Service Development Takuya Nakata, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Masahide Nakamura (Kobe Univ.) SS2023-50 |
To advance the realization of Society 5.0, this research explores efficient methodologies for developing services tailor... [more] |
SS2023-50 pp.7-12 |
SS |
2024-03-08 13:05 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Evaluation of software to support open data publication by municipalities through information presentation and automatic format checking of datasets Tasuku Watanabe, Sinan Chen (Kobe Univ.), Sachio Saiki (Kochi Univ. of Tech.), Masahide Nakamura (Kobe Univ.) SS2023-69 |
The format and content of the open data released to the public differ from municipality to municipality, making it diffi... [more] |
SS2023-69 pp.121-126 |
SS |
2024-03-07 11:25 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Development of a Framework for Implementing OTP Applications with Rust Reiji Okamoto, Yoshiaki Takata (KUT) SS2023-51 |
Concurrent programming with the green threads in the programming language Rust is very costly for reasons such as the po... [more] |
SS2023-51 pp.13-18 |
SS, KBSE, IPSJ-SE [detail] |
2023-07-22 09:55 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Exploring the Magnetic or Sticky Nature of GitHub Ecosystems: NPM, PyPI, and Rubygems Shurong Sun, Olivier Nourry, Dong Wang, Yasutaka Kamei (Kyushu Univ.) SS2023-17 KBSE2023-28 |
Software ecosystems consist of a number of software projects that are developed and evolve within a shared environment. ... [more] |
SS2023-17 KBSE2023-28 pp.92-97 |
SS |
2024-03-09 11:00 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Exploring the characteristics of GPT-3.5 modifications for compile errors in university programming education Kaito Utsunomiya, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) SS2023-79 |
(To be available after the conference date) [more] |
SS2023-79 pp.180-185 |
SS, KBSE, IPSJ-SE [detail] |
2023-07-20 14:50 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
CROOPLPP : A Reversible Concurrent Object-oriented Programming Language Yusuke Akaike, Shoji Yuen (Nagoya Univ) SS2023-3 KBSE2023-14 |
[more] |
SS2023-3 KBSE2023-14 pp.13-18 |
SS, DC |
2023-10-12 10:00 |
Nagano |
(Primary: On-site, Secondary: Online) |
A game-theoretic approach to indistinguishability of winning objectives as user privacy Rindo Nakanishi (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2023-27 DC2023-33 |
We propose a new game-theoretic framework for studying the privacy protection of a user
who interactively uses a softwa... [more] |
SS2023-27 DC2023-33 pp.32-37 |
SS, MSS |
2024-01-18 10:00 |
Ishikawa |
(Primary: On-site, Secondary: Online) |
Rational synthesis based on multiplayer games with registers Yuto Sakao, Hiroyuki Seki (Nagoya Univ.) MSS2023-61 SS2023-40 |
The realizability problem is to decide whether there is a system that meets a given specification. The synthesis problem... [more] |
MSS2023-61 SS2023-40 pp.52-57 |
SS, MSS |
2024-01-18 14:40 |
Ishikawa |
(Primary: On-site, Secondary: Online) |
Decidability of the existence of a doomsday equilibrium in stochastic Buchi games Hiroki Mizuno, Rindo Nakanishi, Hiroyuki Seki (Nagoya Univ.) MSS2023-68 SS2023-47 |
We consider a multi-player nonzero-sum stochastic game played on a finite directed graph with Büchi objective. A doomsda... [more] |
MSS2023-68 SS2023-47 pp.93-98 |
SS |
2024-03-07 13:30 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Zone-Based Reachability Analysis of Nested Timed Automata Seiichiro Tachi (Nagoya Univ), Mizuhito Ogawa (JAIST), Shoji Yuen (Nagoya Univ) SS2023-53 |
We present a zone-based reachability analysis for Nested Timed Automata (NeTA).
NeTA is a timed pushdown automaton that... [more] |
SS2023-53 pp.25-30 |
SS, KBSE, IPSJ-SE [detail] |
2023-07-20 14:00 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Design of a Software Architecture for Risk Assessment Systems Using Machine Learning Tomoya Kachi, Tensho Iimori, Masami Noro, Atsushi Sawada, Han-Myung Chang (Nanzan Univ.) SS2023-1 KBSE2023-12 |
[more] |
SS2023-1 KBSE2023-12 pp.1-6 |
SS, DC |
2023-10-12 11:05 |
Nagano |
(Primary: On-site, Secondary: Online) |
Consistency checking of bidirectional transformations corresponding to selection and projection operations under functional dependencies Jun Ishida, Sota Sakai, Yasunori Ishihara (Nanzan University) SS2023-29 DC2023-35 |
A bidirectional transformation framework called BIRDS for relational data sharing can check whether every pair of source... [more] |
SS2023-29 DC2023-35 pp.44-49 |
SS |
2024-03-07 10:35 |
Okinawa |
(Primary: On-site, Secondary: Online) |
A Method for Creating a Dictionary of Ambiguous Words Using Word Similarity in Requirements Specifications Risa Ishii, Saya Imamura, Motoshi Saeki (Nanzan Univ.) SS2023-49 |
[more] |
SS2023-49 pp.1-6 |