| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| KBSE, SWIM | 2021-05-22 14:00 |
Online | Online | An Automated Method of Identifying Errors in UML State Machine Diagrams for Generating Educational Feedback
-- Focus on the Types of Errors to Be Identified and the Results of Their Identification -- Mitsutada Goshima, Shinpei Ogata (Shinshu Univ.), Erina Makihara (Doshisha Univ.), Kozo Okano (Shinshu Univ.)  KBSE2021-10 SWIM2021-10 |
In learning UML (Unified Modeling Language) state machine diagrams, it is difficult for learners to receive quick educat... [more] | KBSE2021-10 SWIM2021-10 pp.56-61 |
| KBSE | 2021-03-06 14:25 |
Online | Online | KBSE2020-46 |
In recent years, the use of open source software (OSS) in product software has been increasing in the industrial world, ... [more] | KBSE2020-46 pp.71-76 |
| CQ, CBE (Joint) |
2021-01-21 16:00 |
Online | Online | [Poster Presentation]
Performance Evaluation of Channel State Information Clustering for Wireless LAN-based Object Detection Systems Eiki Ando, Hiroki Senji, Osamu Muta (Kyushu Univ.), Tomoki Murakami, Shinya Otsuki (former NTT) CQ2020-77 |
Various object detection schemes utilizing channel state information (CSI) in WLAN systems have been investigated recent... [more] | CQ2020-77 pp.68-69 |
| KBSE, SC | 2020-11-13 15:00 |
Online | Online + Kikai-Shinko-Kaikan Bldg. (Primary: Online, Secondary: On-site) |
KBSE2020-13 SC2020-17 |
In order to support the education of UML state machine diagrams, studies are being carried out to analyze learners' erro... [more] | KBSE2020-13 SC2020-17 p.26 |
| 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 |
| PN, NS, OCS (Joint) |
2020-06-18 15:35 |
Online | Online | [Invited Talk]
Brain-morphic wireless sensor network Naoki Wakamiya (Osaka Univ.) NS2020-26 |
Rapid and universal proliferation of information and communication technologies (ICT) makes information and communicatio... [more] | NS2020-26 pp.25-29 |
| CCS | 2020-03-26 11:25 |
Tokyo | Hosei Univ. Ichigaya Campus (Cancelled but technical report was issued) |
Reservoir computing using fluid motion Keita Kohashi, Masanobu Inubushi, Susumu Goto (Osaka Univ.) CCS2019-40 |
Reservoir computing (RC) is a machine learning method using nonlinear dynamical systems, which is effective for time-ser... [more] | CCS2019-40 pp.25-27 |
| KBSE | 2020-01-25 15:25 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices Kotaro Tanabe (Tokyo Univ.), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Tokyo Univ.) KBSE2019-44 |
Modbat is a model-based test tool that performs modeling using an extended finite state automaton(EFSM). In this study, ... [more] | KBSE2019-44 pp.37-42 |
| QIT (2nd) |
2019-11-18 13:50 |
Tokyo | Gakushuin University | [Poster Presentation]
Experimental quantum kernel machine learning with solid state NMR Takeru Kusumoto, Kosuke Mitarai, Makoto Negoro, Keisuke Fujii, Masahiro Kitagawa (Osaka Univ.) |
We employ so-called quantum kernel estimation to exploit complex quantum dynamics of solid-state NMR for machine learnin... [more] | |
| MIKA (2nd) |
2019-10-03 14:05 |
Hokkaido | Hokkaido Univ. | [Invited Lecture]
Traffic Analysis Empowered by Machine Learning for Estimating Context of IoT Application Anan Sawabe, Takanori Iwai (NEC) |
We have observed the emergence of various Internet of Things (IoT) use cases, such as remote robot control, over the las... [more] | |
| CPSY, DC, IPSJ-ARC [detail] | 2019-07-26 18:30 |
Hokkaido | Kitami Civic Hall | Exhaustive Replica Deployment Evaluation in Geographic State Machine Replication using a Customizable Evaluation Function Shota Numakura, Junya Nakamura, Ren Ohmura (TUT) CPSY2019-40 DC2019-40 |
Geographic state machine replication (SMR) is a replication method in which replicas of a service are located on multipl... [more] | CPSY2019-40 DC2019-40 pp.241-246 |
| ET | 2019-05-18 10:30 |
Toyama | University of Toyama | Proposal of UML Programing Environment for ICT Relaed Subject at Junior High School Shunya Hara, Mizue Kayama, Takahisa Nakano (Shinshu Univ.), Takashi Nagai (IOT), Naomi Taguchi (Harutomi j.h.s) ET2019-1 |
The purpose of this study is to explore educational learning environment for UML programming at ICT related subjects in ... [more] | ET2019-1 pp.1-6 |
| LOIS | 2019-03-07 10:20 |
Okinawa | Miyakojima-shi Central Community Center | State Transition Machine As Coordination Message In Everyday Life Errands Keiko Shimokoriyama, Chihiro Tsutsumi, Ken Nakayama (Tsuda Univ.) LOIS2018-57 |
When asking others to do some task, the task is described as a document in a natural language. Despite a task usually c... [more] | LOIS2018-57 pp.13-18 |
| KBSE | 2019-01-26 10:05 |
Tokyo | NII | Towards IoT software testing with model-based testing tool Modbat Kotaro Tanabe (Univ. Tokyo), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Univ. Tokyo) KBSE2018-44 |
Modbat is a tool for model-based testing, and it uses extended finite state machines for modeling. In previous research... [more] |
KBSE2018-44 pp.9-14 |
| SSS | 2018-12-18 15:50 |
Tokyo | Validity of the requirements in machinery-sector international standards concerning the safe stop Ko Kawashima (Oriental Motor), Yoshinobu Sato (Nerima Hospital) SSS2018-29 |
The machinery operated in common space with humans including personal care and collaborative operation robots will be re... [more] | SSS2018-29 pp.17-20 |
|
| NC, MBE (Joint) |
2018-12-15 11:15 |
Aichi | Nagoya Institute of Technology | Consideration on structural properties contributing to discrimination in Liquid State Machine Tatsuro Sakaguchi, Naoki Wakamiya (Osaka Univ.) NC2018-30 |
Liquid State Machine (LSM) is one of reservoir computing models and due to universal computing capability its applicati... [more] | NC2018-30 pp.11-16 |
| QIT (2nd) |
2018-11-26 09:50 |
Tokyo | The University of Tokyo | Non-Uniform State Complexity of Quantum Finite Automata and Quantum Polynomial-Time Logarithmic-Space Computation with Quantum Advice
-- (Preliminary Report) -- Tomoyuki Yamakami (U of Fukui) |
The state complexity of a finite(-state) automaton intuitively measures the size of the description of the automaton. Sa... [more] | |
| ET | 2018-11-10 14:00 |
Tokyo | Tokyo Polytechnic University | Proposal of UML programming environment for ICT related subject at junior high school Shunya Hara (Shinshu Univ.), Mizue Kayama, Takahisa Nakano (Shinshu Univ), Takashi Nagai (IOT) ET2018-59 |
The purpose of this study is to explore educational learning environment for UML programming at ICT related subjects in ... [more] | ET2018-59 pp.33-38 |
| KBSE, SC | 2018-11-10 14:00 |
Hyogo | An Investigation and Analysis of UML State Machine Diagrams in Large Classes Shinpei Ogata, Mizue Kayama, Kozo Okano (Shinshu Univ.) KBSE2018-41 SC2018-36 |
In this paper, we reports on the result of an investigation and analysis of many answer models for a modeling task towar... [more] | KBSE2018-41 SC2018-36 pp.77-82 |
|
[Return to Top Page]