Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
NC, MBE (Joint) |
2024-03-12 10:50 |
Tokyo |
The Univ. of Tokyo (Primary: On-site, Secondary: Online) |
Data Description Formats for Efficient Reverse Engineering of Brain Computational Functions Hiroshi Yamakawa, Yoshimasa Tawatsuji (Tokyo Univ.), Tatsuya Miyamoto (Waseda Univ.), Naoya Arakawa, Yuta Ashihara, Ayako Fukawa (WBAI), Koichi Takahashi (RIKEN), Yutaka Matsuo (Tokyo Univ.) NC2023-52 |
In the current situation where neuroscience knowledge is still insufficient, a bidirectional design that integrates both... [more] |
NC2023-52 pp.53-58 |
SP, IPSJ-SLP, EA, SIP [detail] |
2023-03-01 16:30 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Low-bit Image Restoration with Loop-unrolled ISTA Shu Abe, Soushi Takahashi, Shogo Muramatsu (Niigata Univ) EA2022-125 SIP2022-169 SP2022-89 |
This study proposes a low-bit image restoration method based on a loop-unrolled network of Iterative Shrinkage Threshold... [more] |
EA2022-125 SIP2022-169 SP2022-89 pp.288-293 |
SS, IPSJ-SE, KBSE [detail] |
2022-07-29 13:00 |
Hokkaido |
Hokkaido-Jichiro-Kaikan (Sapporo) (Primary: On-site, Secondary: Online) |
Verification of Implementable Timed Automata via Satisfiability Checking Seiichiro Tachi, Shoji Yuen (Nagoya Univ.) SS2022-9 KBSE2022-19 |
We present a technique for bounded model-checking the reachability in timed automata with implementability assuming that... [more] |
SS2022-9 KBSE2022-19 pp.49-54 |
LOIS |
2022-03-03 13:25 |
Online |
Online |
An Empirical Study on Feasibility of Stress-Aware Services Using Wearable Devices Masaki Saga, Hayato Ozono, Sinan Chen, Masahide Nakamura (Kobe Univ.) LOIS2021-41 |
The evolution of wearable technology allows us to measure stress in daily life as numerical data. Using the technology, ... [more] |
LOIS2021-41 pp.7-13 |
SS |
2020-03-04 13:50 |
Okinawa |
(Cancelled but technical report was issued) |
A Decision Procedure for a Macro Forest Transducer being an Implementation of an XML Schema Mapping Hiroaki Tabata, Masahiko Sakai, Kenji Hashimoto (Nagoya Univ. G. S.) SS2019-43 |
XML Schema Mapping (SM) describes the correspondence between two different XML Schema DTDs using a tree pattern.
A dete... [more] |
SS2019-43 pp.13-18 |
SIP |
2019-08-29 13:10 |
Tokyo |
|
[Invited Talk]
Development of Variable Digital Filters Shunsuke Koshita (Tohoku Univ.) SIP2019-39 |
Variable digital filters are frequency-selective digital filters that are capable of real-time control/tuning of frequen... [more] |
SIP2019-39 pp.1-6 |
MSS, CAS, SIP, VLD |
2019-07-31 15:20 |
Iwate |
Iwate Univ. |
A Study on Reconstructibility of Event Structures Marika Izawa, Toshiyuki Miyamoto (Osaka Univ.) CAS2019-19 VLD2019-25 SIP2019-35 MSS2019-19 |
The choreography realization problem is a design problem of systems based on service-oriented architecture. In our previ... [more] |
CAS2019-19 VLD2019-25 SIP2019-35 MSS2019-19 pp.83-88 |
IMQ, IE, MVE, CQ (Joint) [detail] |
2019-03-15 10:45 |
Kagoshima |
Kagoshima University |
[Invited Talk]
Development of Realtime HEVC Encoder LSI and its applications Ken Nakamura (NTT) CQ2018-110 |
Ultra-high definition (UHD) video services have been spreading today. For example, 4K broadcasting has started in 2015 a... [more] |
CQ2018-110 p.97 |
SIS |
2017-12-14 10:50 |
Tottori |
Tottori Prefectural Center for Lifelong Learning |
Harmonic Structure Detection in Speech Separation Using Modified DFT Pair Based on ASA Motohiro Ichikawa, Isao Nakanishi (Tottori Univ) SIS2017-34 |
Humans have the ability of cocktail party effect to be able to recognized the target voice from the various conversation... [more] |
SIS2017-34 pp.5-9 |
NLP |
2017-03-15 11:00 |
Aomori |
Nebuta Museum Warasse |
Alternate Bearing by Resource Budget Model with Environmental Noise Izumi Kurita, Yutaka Shimada, Kantaro Fujiwara, Tohru Ikeguchi (Tokyo Univ. of Science) NLP2016-122 |
In this report, we investigated synchronization phenomenon of crops in trees without pollination using a resource budget... [more] |
NLP2016-122 pp.81-86 |
MSS, SS |
2017-01-26 13:30 |
Kyoto |
Kyoto Institute of Technology |
A Study on Realizability of Choreography Given by Two Communication Diagrams
-- A Study on a Case where Conflicts Exist Between Scenarios -- Toshiki Kinoshita, Toshiyuki Miyamoto (Osaka Univ.) MSS2016-61 SS2016-40 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model, ... [more] |
MSS2016-61 SS2016-40 pp.25-30 |
LOIS |
2016-03-04 10:00 |
Okinawa |
Central Community Center, Miyakojima-City |
A survey of human movement among evacuation centers to improve the DTN-based safety confirmation method Hiroshi Nakajima, Goro Inomae, Hiroshi Watanabe, Masayuki Ihara (NTT) LOIS2015-83 |
We have proposed the DTN-based safety confirmation method utilizing human movement among evacuation centers in order to ... [more] |
LOIS2015-83 pp.115-120 |
SS, MSS |
2016-01-25 10:20 |
Ishikawa |
Shiinoki-Geihin-Kan |
Choreography Realization by Re-constructible Decomposition of Acyclic Relations
-- A Study on Synthesizing Pareto Optimal State Machines -- Toshiyuki Miyamoto (Osaka Univ.) MSS2015-37 SS2015-46 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] |
MSS2015-37 SS2015-46 pp.13-18 |
TL |
2015-12-13 12:00 |
Tokyo |
Room 303/304/305, Building #8, Waseda University |
What they obtained while staying in Japan to learn Japanese
-- Interviews with Indonesian teachers -- Akiko Ota (Waseda Univ.) TL2015-51 |
The number of people learning Japanese outside Japan is increasing and has reached about four million. This study focuse... [more] |
TL2015-51 pp.61-62 |
SIS, IPSJ-AVM |
2015-09-03 11:20 |
Osaka |
Kansai Univ. |
A Sequential Processing Model for Speech Separation Based on Auditory Scene Analysis Isao Nakanishi, Junichi Hanada, Misaki Baba (Tottori Univ.) SIS2015-16 |
Speech separation based on auditory scene analysis (ASA) has been widely studied.
We propose a processing method of the... [more] |
SIS2015-16 pp.7-12 |
MSS, CAS, SIP, VLD |
2015-06-17 09:45 |
Hokkaido |
Otaru University of Commerce |
Choreography Realization by Re-constructible Decomposition of Acyclic Relations Toshiyuki Miyamoto (Osaka Univ.) CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] |
CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 pp.7-12 |
CAS |
2015-01-29 14:45 |
Tokyo |
Tokyo Metropolitan University (Akihabara Satellite Campus) |
After the Symposium "Design, Realization, and Application of High-Performance Digital Filters" Shunsuke Koshita (Tohoku Univ.), Kenji Suyama (Tokyo Denki Univ.) CAS2014-108 |
(To be available after the conference date) [more] |
CAS2014-108 pp.17-20 |
SIP |
2014-08-28 16:55 |
Osaka |
Ritsumeikan Univ. (Osaka Umeda Campus) |
A Method for Sequential Speech Separation Based on Auditory Scene Analysis Junichi Hanada, Isao Nakanishi, Shigang Li (Tottori Univ.) SIP2014-80 |
We propose a sequentially processing method of the speech separation based on auditory scene analysis (ASA). [more] |
SIP2014-80 pp.37-42 |
CQ, MVE, IE, IMQ, CEA (Joint) [detail] |
2014-03-06 16:25 |
Oita |
Beppu International Convention Center |
[Invited Talk]
Hardware realization for H.265/HEVC Hiroe Iwasaki (NTT) IMQ2013-46 CQ2013-96 IE2013-155 MVE2013-84 |
H.265/HEVC is a new international standard for video coding. The new standard is achieved high compression ratio in appr... [more] |
IMQ2013-46 CQ2013-96 IE2013-155 MVE2013-84 p.113(IMQ), p.49(CQ), p.113(IE), p.113(MVE) |
COMP |
2013-12-21 13:20 |
Okinawa |
Okinawa Industry Support Center |
k-Edge-Rigid Body-Hinge Graphs Yuya Higashikawa, Naoki Katoh, Yuki Kobayashi (Kyoto Univ.), Adnan Sljoka (York Univ.) COMP2013-53 |
In this paper, we prove that a body-hinge graph $G$ is $(k-1)$-edge-rigid if and only if $G$ is $k$-edge-connected ($k g... [more] |
COMP2013-53 pp.87-91 |