| 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 # | |
| 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.) |
[more] | |
| SS | 2023-03-15 09:55 |
Okinawa | (Primary: On-site, Secondary: Online) |
Regularity Preservation Property of Data Tree Rewrite Systems
-- A Subclass Decomposable into Monadic Normal Form -- Yuto Sakao, Hiroyuki Seki (Nagoya Univ.)  SS2022-62 |
Let $T$ be a transformation over a class $mathcal{L}$ of languages. If for any regular language $L in mathcal{L}$, $T^*(... [more] | SS2022-62 pp.91-96 |
| DC, SS | 2022-10-25 10:50 |
Fukushima | (Primary: On-site, Secondary: Online) |
SS2022-23 DC2022-29 |
Synthesis problems with multiple environments that behave rationally have been studied based on multiplayer non-zero-sum... [more] | SS2022-23 DC2022-29 pp.10-15 |
| DC, SS | 2022-10-25 11:15 |
Fukushima | (Primary: On-site, Secondary: Online) |
SS2022-24 DC2022-30 |
Nominal set plays a central role in a group-theoretic extension of finite automata to those over an infinite set of data... [more] | SS2022-24 DC2022-30 pp.16-21 |
| SS | 2022-03-07 13:15 |
Online | Online | SS2021-46 |
[more] | SS2021-46 pp.25-30 |
| COMP | 2022-03-06 10:00 |
Online | Online | An Ambiguity Hierarchy of Weighted Context-free Grammars Yusuke Inoue, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) COMP2021-31 |
Weighted context-free grammar (WCFG) is a quantitative extension of context-free grammar (CFG). It is known that unambig... [more] | COMP2021-31 pp.1-7 |
| DE, IPSJ-DBS | 2021-12-27 10:50 |
Online | (Primary: Online, Secondary: On-site) |
Tree decomposition compression using tree grammar and query processing based on answer set programming Kazuyuki Kojima, Hiroyuki Seki (Nagoya Univ.) DE2021-16 |
Tree decomposition of a graph is an effective approach to solving problems for large graphs while the decomposition itse... [more] | DE2021-16 pp.7-12 |
| SS, DC | 2021-10-19 15:25 |
Online | Online | A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2021-17 DC2021-22 |
Register automaton (abbreviated as RA) is an extension of finite automaton by adding registers storing data values. RA ... [more] |
SS2021-17 DC2021-22 pp.23-28 |
| PRMU | 2021-08-26 10:00 |
Online | Online | Unsupervised non-rigid alignment for multiple noisy images Takanori Asanomi, Kazuya Nishimura, Heon Song, Junya Hayashida (Kyushu Univ.), Hiroyuki Sekiguchi (Kyoto Univ.), Takayuki Yagi (Luxonus), Imari Sato (NII), Ryoma Bise (Kyushu Univ.) PRMU2021-7 |
We propose a deep non-rigid alignment network that can simultaneously perform non-rigid alignment and noise decompositio... [more] | PRMU2021-7 pp.1-6 |
| SS | 2021-03-03 10:00 |
Online | Online | Weighted Multiple Context-free Grammars and their Properties Yusuke Inoue, Hiroyuki Seki (Nagoya Univ.) SS2020-28 |
Multiple context-free grammar (MCFG) is an extension of context-free grammar that generates tuples of strings. MCFG has ... [more] | SS2020-28 pp.1-6 |
| SS | 2021-03-03 10:25 |
Online | Online | A Subclass of LTL with the Freeze Quantifier Translatable into Register Automata Akira Onishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2020-29 |
Register automaton (abbreviated as RA) is an extension of finite automaton by adding registers storing data values. RA ... [more] |
SS2020-29 pp.7-12 |
| MSS, SS | 2021-01-27 15:25 |
Online | Online | Pumping Lemmas for Languages Expressed by Computational Models with Registers Rindo Nakanishi, Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) MSS2020-41 SS2020-26 |
Register automaton (RA), register context-free grammar (RCFG), and register tree automaton (RTA) are computational model... [more] | MSS2020-41 SS2020-26 pp.72-77 |
| DC, SS | 2020-10-19 13:25 |
Online | Online | LTL Model Checking for Register Pushdown Systems Ryoma Senda (Nagoya Univ.), Yoshiaki Takata (KUT), Hiroyuki Seki (Nagoya Univ.) SS2020-6 DC2020-23 |
A pushdown system (PDS) is known as an abstract model of recursive programs. For PDS, model checking methods have been ... [more] |
SS2020-6 DC2020-23 pp.7-12 |
| DE, IPSJ-DBS, IPSJ-IFAT | 2020-09-05 15:10 |
Online | Online | Graph compression using tree decomposition and tree grammar and direct evaluation of compressed data Kazuyuki Kojima, Hiroyuki Seki (Nagoya Univ.) DE2020-13 |
[more] | DE2020-13 pp.1-6 |
| AI | 2020-02-14 15:30 |
Shimane | Izumo Campus, Shimane University | Elucidation of factors supporting co-creative consensus building and proposal of the communication environment Sae Kondo (UT), Taichi Miyamae, Masaaki Kuzuya, Karen Sasagawa, Hiroyuki Sekikawa (Itoki), Takashi Numata (Hitachi), Kotaro Onishi, Hiroko Ohno (HF), Masako Maeda, Takuo Inoue, Chikako Goto, Hideki Koizumi (UT) AI2019-42 |
In recent years, new services and systems are being created every day due to IoT and AI development. There is a big expe... [more] | AI2019-42 pp.1-6 |
| SS, MSS | 2020-01-14 16:55 |
Hiroshima | Dynamic Leakage Analysis Based on Model Counting and Its Evaluation Daichi Fukuda, Hiroyuki Seki (Nagoya Univ.) MSS2019-49 SS2019-33 |
We propose a method of analyzing dynamic information leakage of a given program that has a secret input, a public output... [more] | MSS2019-49 SS2019-33 pp.49-54 |
|
| DC, SS | 2019-10-24 14:30 |
Kumamoto | Kumamoto Univ. | Computing Optimal Weight in Weighted Register Automata and Related Decision Problems Reo Yoshimura (Nagoya Univ.), Yoshiaki Takata (Kochi-tech.), Hiroyuki Seki (Nagoya Univ.) SS2019-16 DC2019-44 |
Register automaton (RA) is a computational model that can handle data values by adding registers to finite automaton. Re... [more] | SS2019-16 DC2019-44 pp.19-24 |
| HCS | 2019-08-24 13:00 |
Osaka | Jikei Institute | Relationship of speech activity to subjective ratings and task performance during a divergent creative problem solving task involving communication among three people Takashi Numata (Hitachi), Sae Kondo (UTokyo), Taichi Miyamae, Hiroyuki Sekikawa, Karen Sasagawa, Shiori Onodera, Masaaki Kuzuya (Itoki), Kotaro Onishi, Hiroko Ohno (House Foods), Masako Maeda, Chikako Goto, Hideki Koizumi (UTokyo) HCS2019-37 |
In order to support creative problem solving, we aim to develop a support system for creative problem solving during gro... [more] | HCS2019-37 pp.43-48 |
| RCS | 2019-06-21 16:25 |
Okinawa | Miyakojima Hirara Port Terminal Building | Experimental Study of High-Capacity Technologies for 5G Ultra High-Density Distributed Antenna Systems
-- Verification of coordinated radio resource scheduling algorithm in up to 32 multi-stream transmission -- Takaharu Kobayashi, Shinya Kumagai, Masafumi Tsutsui, Chiyoshi Akiyama, Takashi Dateki, Hiroyuki Seki, Morihiko Minowa (Fujitsu), Tatsuki Okuyama, Jun Mashino, Satoshi Suyama, Yukihiko Okumura (DOCOMO) RCS2019-99 |
In 5G mobile communication systems, an effective high-capacity technology is expected by using high-density small cells.... [more] | RCS2019-99 pp.365-370 |
| RCS, SR, SRW (Joint) |
2019-03-08 10:30 |
Kanagawa | YRP | 5G R&D Activities for High Capacity Technologies with Ultra High-Density Multi-Band and Multi-Access Layered Cells Morihiko Minowa, Hiroyuki Seki (Fujitsu), Yukihiko Okumura, Satoshi Suyama (NTT DOCOMO), Jun Terada, Satoshi Shigematsu, Yasushi Takatori (NTT), Hiroaki Asano (Panasonic), Yukio Hirano (Mitsubishi Electric), Yasushi Yamao (UEC), Fumiyuki Adachi, Masataka Nakazawa (Tohoku Univ.) RCS2018-323 |
In this paper, we make a summary report of our 5G R&D activities for “High Capacity Technologies with Ultra High-Density... [more] | RCS2018-323 pp.207-212 |
[Return to Top Page]