IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 20 of 31  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE 2024-03-14
13:45
Okinawa Okinawa Prefectual General Welfare Center
(Primary: On-site, Secondary: Online)
Consideration on System Safety Verification Based on User Personality Traits
Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-72
(To be available after the conference date) [more] KBSE2023-72
pp.43-48
KBSE, SC 2023-11-17
16:45
Miyagi Sento Kaikan An examination of LoRa communications in Chikuma city
Kazutaka Kikuta, Ken. T. Murata (NICT), Kazuki Kobayashi (Shinshu Univ.), Takamichi Mizuhara, Masataka Morioka, Toshiki Aoki (CLT) KBSE2023-39 SC2023-22
The Chikuma City Anzu Project (Ambient Networking via Zonal Ubiquitous project) is a regional collaborative ICT (informa... [more] KBSE2023-39 SC2023-22
pp.40-42
SS, KBSE, IPSJ-SE [detail] 2023-07-22
11:25
Hokkaido
(Primary: On-site, Secondary: Online)
Verification of System Behavior using two types of model checking
Yoshitaka Aoki (BIPROGY), Shinpei Ogata (Shinshu Univ.), Hiroyuki Nkagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.) SS2023-20 KBSE2023-31
 [more] SS2023-20 KBSE2023-31
pp.110-115
SWIM, KBSE 2023-05-20
14:25
Shizuoka
(Primary: On-site, Secondary: Online)
A Study on Identifying Occurrence of User's Forgetting to Take Items from Interactive Systems
Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-10 SWIM2023-10
(To be available after the conference date) [more] KBSE2023-10 SWIM2023-10
pp.59-64
KBSE 2020-03-06
13:30
Okinawa Tenbusu-Naha
(Cancelled but technical report was issued)
A Method to Analyze the Proximate States to Hazards Based-on State Transition System for Supporting Safety Analysis
Yusuke Suzuki, Shinpei Ogata, Yutaro Ohike (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-47
STAMP (System-Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) supports system developer... [more] KBSE2019-47
pp.7-12
IT, SIP, RCS 2020-01-23
09:50
Hiroshima Hiroshima City Youth Center Measurement, accumulation, and analysis of strawberry growth images using a high-definition image monitoring system
Hirokazu Genno (K C), Kazuki Kobayashi (Shinshu Univ.), Hideaki Matsue (SUS) IT2019-40 SIP2019-53 RCS2019-270
 [more] IT2019-40 SIP2019-53 RCS2019-270
pp.25-29
KBSE, SC 2019-11-08
11:30
Nagano Shinshu University A Method to Analyze NuSMV Counterexamples for Defect Cause Analysis
Yutaro Ohike, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys, Ltd.), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-24 SC2019-21
Many state variables that are defined in a model may appear as conditional expressions in one specification on model che... [more] KBSE2019-24 SC2019-21
pp.7-12
HCGSYMPO
(2nd)

Mie Sinfonia Technology Hibiki Hall Ise Mood Improvement by Multiple Personality Assistant Agent in Speech Recognition Failure
Takehiro Hondo, Ippei Naganuma, Kazuki Kobayashi (Shinshu Univ.)
This paper proposes a method to create a mood in a human agent speech interaction and investigates the created mood by a... [more]
HCGSYMPO
(2nd)

Mie Sinfonia Technology Hibiki Hall Ise Mood Investigation on Interaction with Body Disappearing Agent
Ryohei Matsuzawa, Kazuki Kobayashi (Shinshu Univ.)
This paper proposes an agent that shows the process of disappearing in the interaction between it and a user. A user oft... [more]
PRMU, IBISML, IPSJ-CVIM [detail] 2018-09-21
09:50
Fukuoka   Anomaly Detection for Various Operations of Machine
Kazuki Kobayashi, Masatoshi Sekine, Satoshi Ikada (OKI) PRMU2018-56 IBISML2018-33
In this paper, we propose an anomaly level estimation method for various operation of machine. Our proposed method has t... [more] PRMU2018-56 IBISML2018-33
pp.133-138
KBSE, SS, IPSJ-SE [detail] 2018-07-18
15:50
Hokkaido   Case Study on a Verification of an IoT Architecture Model Based on Control Loop
Yoshitaka Aoki (NUL), Shinpei Ogata, Kazuki Kobayashi (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.) SS2018-11 KBSE2018-21
IoT (Internet of Things) systems have their respective complicated configuration across cyber and physical space. Even i... [more] SS2018-11 KBSE2018-21
pp.61-66
SCE 2018-01-31
09:30
Tokyo Kikai-Shinko-Kaikan Bldg. Two dimensional magnetic field dependence of a Josephson current in the applied perpendicular magnetic field.
Norimichi Watanabe, Akiya Sean Ebana, Kazuki Kobayashi, Takuya Hikosaka, Atsushi Suzuki, Susumu Abe, Akiyoshi Nakayama (Kanagawa Univ.) SCE2017-31
We investigated how the position of the Josephson junction on the base Nb layer influence the modulation characteristics... [more] SCE2017-31
pp.1-5
HCGSYMPO
(2nd)
2017-12-13
- 2017-12-15
Ishikawa THE KANAZAWA THEATRE Mood Investigation by Multiple Personality Assistant Agent in Speech Interaction
Kazuki Kobayashi, Takahiro Yoshimura (Shinshu Univ.)
This paper proposes a method to create a mood in a human agent speech interaction and investigates the created mood by a... [more]
HCGSYMPO
(2nd)
2017-12-13
- 2017-12-15
Ishikawa THE KANAZAWA THEATRE Creating Empathically Mood by Hesitating Agent in Speech
Shogo Nakamura, Kazuki Kobayashi (Shinshu Univ.)
In this study, we investigate a mood which was made by a interaction of talking with a hesitating agent and a user. The... [more]
SS, KBSE, IPSJ-SE [detail] 2017-07-19
13:10
Hokkaido   Prototyping and Evaluation of Support Method of Model Checking using Modeling Notation of IoT System Architecture
Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (NUL), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.), Yuko Fukushima (NUL) SS2017-5 KBSE2017-5
IoT system architecture often relates to various objects such as users, Web services, edges, devices, energy suppliers a... [more] SS2017-5 KBSE2017-5
pp.25-30
AI 2017-06-01
13:30
Tokyo Waseda Univ. Mood Creation by Multiple Personality Assistant Agent to Control Home Electronics
Kazuki Kobayashi, Takahiro Yoshimura (Shinshu Univ.) AI2017-2
This paper proposes a method to create a mood in a human agent speech interaction. The proposed method uses four persona... [more] AI2017-2
pp.7-12
MoNA, ASN, IPSJ-MBL, IPSJ-UBI [detail] 2017-03-09
10:30
Tokyo University of Tokyo (Hongo Campus) Human Activity Recognition by Infrared Array Sensors Considering Positional Relation between User and Sensors
Kazuki Kobayashi, Tomoaki Ohtsuki, Kentaroh Toyoda (Keio Univ.) ASN2016-90
 [more] ASN2016-90
pp.67-72
HCGSYMPO
(2nd)
2016-12-07
- 2016-12-09
Kochi Kochi City Culture Plaza (CUL-PORT) Improving Speech interaction with Projection Mapping based Behavior Expression Agent
Yoshihisa Ishihara, Kazuki Kobayashi (Shinshu Univ.), Seiji Yamada (NII/SOKENDAI/Tokyo Tech)
This paper proposes a method for manufactured objects such as anime figures to exhibit highly realistic behavioral expre... [more]
HCGSYMPO
(2nd)
2016-12-07
- 2016-12-09
Kochi Kochi City Culture Plaza (CUL-PORT) Building Social Relationships between Agents and Users by Social Grooming Interaction
Noriaki Kuratani, Kazuki Kobayashi (Shinshu Univ.), Seiji Yamada (NII, SOKENDAI, Tokyo Tech)
In order to realize a smooth and continuous interaction between an agent and a user, establishing an
appropriate social... [more]

WBS, RCC, ITS 2016-12-01
13:00
Kagawa Sunport Hall Takamatsu [Poster Presentation] Performance evaluation of DS/SS-IVC Scheme based on Location Oriented Allocation Scheme Using Hadamard Code
Kazuki Kobayashi, Reiki Kusakari, Akira Nakamura (Tokyo Univ. of Science), Kohei Ohno (Meiji Univ.), Makoto Itami (Tokyo Univ. of Science) WBS2016-50 ITS2016-17 RCC2016-39
This paper discusses a DS/SS-IVC (Direct Sequence/Spreads Spectrum-Inter Vehicle Communication) scheme based on location... [more] WBS2016-50 ITS2016-17 RCC2016-39
pp.13-18
 Results 1 - 20 of 31  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan