Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
PRMU, MVE, VRSJ-SIG-MR, IPSJ-CVIM |
2024-01-25 14:40 |
Kanagawa |
Keio Univ. (Hiyoshi Campus) |
Efficient exploration with intrinsic motivation considering state transitions in deep reinforcement learning Kaito Ohshika, Hidenori Itaya, Tsubasa Hirakawa, Takayoshi Yamashita, Hironobu Fujiyoshi (Chubu Univ.) PRMU2023-42 |
In deep reinforcement learning, learning data is collected through the interaction between the agent and the environment... [more] |
PRMU2023-42 pp.14-19 |
KBSE, IPSJ-SE, SS [detail] |
2021-07-08 14:15 |
Online |
Online (Zoom) |
Extraction method for transition relations from conditional statements in natural language requirements specifications Maiko Onishi (Ochanomizu Univ.), Hiroya Ii, Shinpei Ogata, Kozo Okano (Shinshu Univ.), Daisuke Bekki (Ochanomizu Univ.) SS2021-5 KBSE2021-17 |
In software development, it is generally known that detecting defects at an early stage of the process reduces rework an... [more] |
SS2021-5 KBSE2021-17 pp.25-30 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2021-03-26 11:40 |
Online |
Online |
A Controller Augmentation method to Improving Transition Fault Coverage Kyohei Iizuka, Toshinori Hosokawa, Hiroshi Yamazaki (Nihon Univ), Masayoshi Yoshimura (Kyoto Sangyo Univ) CPSY2020-63 DC2020-93 |
With shrinking feature sizes, growing clock frequencies, and decreasing power supply voltage, modern VLSIs are increasin... [more] |
CPSY2020-63 DC2020-93 pp.79-84 |
KBSE, SC |
2020-11-13 15:04 |
Online |
Online + Kikai-Shinko-Kaikan Bldg. (Primary: Online, Secondary: On-site) |
[Poster Presentation]
Prototype Tool to Detect Difference between State Machine Diagrams toward Automation of Providing Educational Feedback to Learners Mitsutada Goshima, Shinpei Ogata (Shinshu Univ.), Erina Makihara (Doshisha Univ.), Kozo Okano (Shinshu Univ.) KBSE2020-15 SC2020-19 |
State machine diagrams in UML are useful for system development and other purposes because they represent discrete behav... [more] |
KBSE2020-15 SC2020-19 p.30 |
CPSY, DC, IPSJ-ARC [detail] |
2020-07-31 17:30 |
Online |
Online |
An Area Reduction Oriented Controller Augmentation Method Based on Functionally Equivalent Finite State Machine Generation Atsuya Tsujikawa, Toshinori Hosokawa (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.) CPSY2020-15 DC2020-15 |
In recent year, controller augmentation has been used for design-for-testability and design-for-security at register tra... [more] |
CPSY2020-15 DC2020-15 pp.93-98 |
DC |
2019-02-27 14:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Compaction Method for Test Sensitization State in Controllers Yuki Ikegaya, Yuta Ishiyama, Toshinori Hosokawa, Hiroshi Yamazaki (Nihon Univ.) DC2018-80 |
One of the challenges on VLSI testing is to reduce the area overhead of design-for-testability and to increase the fault... [more] |
DC2018-80 pp.55-60 |
KBSE, SS, IPSJ-SE [detail] |
2018-07-18 11:05 |
Hokkaido |
|
A Fault Diagnosis of A Distributed Cooperative System by Learning State Transitions Yosuke Watanabe (Nagoya Univ.), Shuichi Sato (TCRDL), Hiroyuki Seki, Shoji Yuen (Nagoya Univ.) SS2018-3 KBSE2018-13 |
Due to the spread of IoT and the development of connected cars, it is common for a system to be composed of many coopera... [more] |
SS2018-3 KBSE2018-13 pp.13-18 |
KBSE, SS, IPSJ-SE [detail] |
2016-07-13 10:50 |
Hokkaido |
|
Extracting State Transition Tables from an Embedded Software System Ryota Yamamoto, Norihiro Yoshida (Nagoya Univ.), Akihiko Takeda (JASA), Nobuyuki Tachi, Hiroaki Takada (Nagoya Univ.) SS2016-3 KBSE2016-9 |
It is hard to understand legacy code for an embedded software system. It leads much cost for maintaining and reusing the... [more] |
SS2016-3 KBSE2016-9 pp.13-18 |
KBSE, SS, IPSJ-SE [detail] |
2016-07-13 15:10 |
Hokkaido |
|
SMart-Learning: Tools for DSL-based UML State Machine Diagram Learning Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2016-5 KBSE2016-11 |
State machine diagram learning has been important depending on increasing demand for IoT or embedded systems. One of the... [more] |
SS2016-5 KBSE2016-11 pp.49-54 |
PRMU, CNR |
2016-02-21 14:30 |
Fukuoka |
|
Estimation of state transitions for multiparty turn-taking Tatsuya Era, Hiroki Yoshimura, Masashi Nishiyama, Yoshio Iwai (Tottori Univ.) PRMU2015-139 CNR2015-40 |
(To be available after the conference date) [more] |
PRMU2015-139 CNR2015-40 pp.43-48 |
SP |
2015-10-16 10:00 |
Hyogo |
Kobe Univ. |
Evaluation of Parallel POMDP based on State Space Partition and State Transition Learning Yoji Yamada, Tetsuya Takiguchi, Yasuo Ariki (Kobe Univ.) SP2015-66 |
Significant problems with Partially Observable Markov Decision Process (POMDP) lie in a large number of states, causing ... [more] |
SP2015-66 pp.39-43 |
ISEC |
2015-09-04 11:45 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
An extension of cryptographic protocol in distributed in-memory caching system Ruo Ando (NICT) ISEC2015-28 |
Recent distributed system adopts object caching subsystem in order to achieve scalability. In many cases, its transactio... [more] |
ISEC2015-28 pp.21-26 |
KBSE, SS, IPSJ-SE [detail] |
2014-07-11 13:10 |
Hokkaido |
Furano-Bunka-Kaikan |
On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation Cassia de Souza Carvalho, Tatsuhiro Tsuchiya (Osaka Univ.) SS2014-23 KBSE2014-26 |
State Transition Testing is an important category of software testing.
Our work in progress focuses on a coverage crit... [more] |
SS2014-23 KBSE2014-26 pp.149-154 |
ITS, IE, ITE-AIT, ITE-HI, ITE-ME [detail] |
2014-02-17 16:00 |
Hokkaido |
Hokkaido Univ. |
Analysis of Peripheral Vehicular State in Driver's Gaze Transition
-- Difference between Driver's Neutral and Distraction State -- Shota Sato, Takatsugu Hirayama, Kenji Mase, Chiyomi Miyajima, Kazuya Takeda (Nagoya Univ.) ITS2013-48 IE2013-113 |
Methods for detecting distraction using driver's gaze have been proposed to support safe driving of the vehicle.
These... [more] |
ITS2013-48 IE2013-113 pp.105-110 |
SS, KBSE |
2013-07-25 16:40 |
Hokkaido |
|
Modeling Smartphone Apps Using State Machine Diagrams Kyosuke Ochimizu, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki (KUMW), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) SS2013-21 KBSE2013-21 |
In this paper, we propose a method for modeling smartphone apps using
UML state machine diagrams.
We focused on a tap ... [more] |
SS2013-21 KBSE2013-21 pp.49-54 |
MBE, NC (Joint) |
2012-03-15 09:50 |
Tokyo |
Tamagawa University |
Stochastic State Transitions in Recurrent Neural Networks with Sparse Asymmetric Connections Koretaka Ogata, Takuma Tanaka, Kiyohiko Nakamura (Tokyo Tech) NC2011-149 |
Recently many studies have reported that neurons form clustered structures in neocortical microcircuits more than expect... [more] |
NC2011-149 pp.165-169 |
PRMU, FM |
2011-12-16 16:30 |
Shizuoka |
Hamamatsu Campus, Shizuoka Univ. |
Nonparametric Bayesian State Estimation by Detecting Change Points and Sharing Segments on Time Series Data Masamichi Shimosaka, Yuichi Moriya, Rui Fukui, Tomomasa Sato (Univ. of Tokyo) PRMU2011-145 |
In this paper, we propose a novel framework for estimating state spaces where the size is unknown. The proposed framewor... [more] |
PRMU2011-145 pp.119-124 |
SWIM |
2011-11-18 16:25 |
Tokyo |
Tokai Univ.(Takanawa) |
Consistency Analysis between UML State Machine and Activity Diagrams Masato Nomura, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2011-29 |
UML activity diagram represents the behavior of a process including interactions between objects. On the other hand, sta... [more] |
SWIM2011-29 pp.65-70 |
RCS, NS (Joint) |
2011-07-21 14:55 |
Hokkaido |
Asahikawa Civic Culture Hall |
A State Transition Control Method Based on Interval of Mobility and Communication of a Mobile Terminal Takanori Iwai, Hiroshi Yoshida, Yasuhiro Mizukoshi (NEC) NS2011-51 |
A huge number of control signals that are sent by mobile terminals burden a mobile network. This is because that the mob... [more] |
NS2011-51 pp.7-12 |
MSS, CAS |
2010-11-19 15:20 |
Osaka |
Kansai Univ. |
A Study of a Symbolic Encoding Method for Bounded Model Checking of UML State Machines with Synchronous and Asynchronous Transitions Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) CAS2010-80 CST2010-53 |
Recently, Bounded Model Checking has received attention as a SAT-based symbolic model checking technique. The basic idea... [more] |
CAS2010-80 CST2010-53 pp.83-88 |