| 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 # | |
| NLP, MSS | 2023-03-17 11:40 |
Nagasaki | (Primary: On-site, Secondary: Online) |
On the Existence of Deterministic Supervisors for Bisimilarity Control of Nondeterministic Discrete Event Systems Shigemasa Takai (Osaka Univ.)  MSS2022-99 NLP2022-144 |
In this paper, we consider the bisimilarity control problem for the system and the specification modeled by nondetermin... [more] |
MSS2022-99 NLP2022-144 pp.174-177 |
| COMP | 2019-12-13 16:25 |
Gunma | Ikaho Seminar House, Gunma University | Limited Deterministic Automata and Pumping Lemma Kosei Yoshida, Tomoyuki Yamakami (U of Fukui) COMP2019-41 |
This pape, introduced a pumping lemma for languages recognizable by limited deterministic automata. We use this lemma to... [more] | COMP2019-41 pp.85-92 |
| CQ (2nd) |
2019-09-04 15:00 |
Tokyo | Inter-University Seminar House | [Poster Presentation]
Effects of different wavelengths of LED light on mini tomatoes growth Gakuto Komazawa, Takuya Sindo, Eisuke Fukuyama, Yuki Hoshino, Takefumi Hiraguri (NIT) |
Hydroponic cultivation using artificial lighting (LED) is mainly used for leafy vegetables. On the other hand, there ar... [more] |
|
| MSS, SS | 2019-01-15 12:40 |
Okinawa | Similarity Control of Nondeterministic Discrete Event Systems under Partial Observation Jinglun Li, Shigemasa Takai (Osaka Univ.) MSS2018-57 SS2018-28 |
In this paper, we consider a similarity control problem for discrete event systems modeled as nondeterministic automata ... [more] | MSS2018-57 SS2018-28 pp.19-23 |
|
| MSS, NLP (Joint) |
2018-03-14 13:00 |
Osaka | Maximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems Jinglun LI, Shigemasa Takai (Osaka Univ.) MSS2017-91 |
In this paper, we consider a similarity control problem for discrete event systems modeled as nondeterministic automata.... [more] | MSS2017-91 pp.73-76 |
|
| COMP, IPSJ-AL | 2017-05-13 15:50 |
Nagasaki | On Equivalence of de Bruijn Graphs and State-minimized Finite Automata Yoshiaki Takahashi (Solar), Akira Ito (Yamaguchi Univ.) COMP2017-11 |
A de Bruijn sequence of order n on the alphabet {0,1} is a cyclic sequence in which every possible string of length n ov... [more] | COMP2017-11 pp.77-83 |
|
| COMP | 2013-12-21 15:20 |
Okinawa | Okinawa Industry Support Center | On the minimum consistent DFA problem for prefix samples Kaori Ueno (Tohokui Univ.), Shinichi Shimozono (Kyushu Inst. of Tech.), Kazuyuki Narisawa, Ayumi Shinohara (Tohokui Univ.) COMP2013-57 |
We study the computational complexity of nding the minimum deterministic nite automaton (DFA) that is consistent with ... [more] | COMP2013-57 pp.115-122 |
| QIT (2nd) |
2013-11-18 12:00 |
Tokyo | Waseda Univ. | Quantum Pushdown Automata with a Garbage Space Masaki Nakanishi (Yamagata Univ.) |
Several kinds of quantum pushdown automata have been proposed, and their computational power is investigated intensivel... [more] |
|
| MSS, CAS | 2009-11-27 10:20 |
Aichi | Nagoya University | Diagnosis of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions Shigemasa Takai, Toshimitsu Ushio (Osaka Univ.) CAS2009-53 CST2009-26 |
In the conventional framework for failure diagnosis of discrete event systems, it is assumed that, for each event, the c... [more] | CAS2009-53 CST2009-26 pp.47-52 |
| PRMU | 2008-12-18 10:00 |
Kumamoto | Kumamoto Univ. | Two Dimensional Pattern Matching for JPEG Images Tomoharu Nakano, Takuya Kida (Hokkaido Univ.) PRMU2008-151 |
We can touch a numerous number of images on the Internet in this days. Almost all images are stored in compressed form.... [more] |
PRMU2008-151 pp.25-30 |
| MSS | 2008-06-02 14:25 |
Aichi | Nagoyo University, Noyori Conference Hall | Modeling of Discrete Event Systems by Mealy Automata Toshimitsu Ushio (Osaka Univ.), Shigemasa Takai (Kyoto Inst. Tech.) CST2008-4 |
Supervisory control is a general framework of logical control of discrete event systems. A supervisor assigns a set of ... [more] | CST2008-4 pp.19-24 |
| COMP | 2007-06-29 16:35 |
Hokkaido | Hokkaido University | On an Efficient Implementation of a DFA-based Algorithm for the Exetended Regular Expression Membership and Search Problems Hiroaki Yamamoto (Shinshu Univ.), Takashi Miyazaki (Nagano NCT) COMP2007-29 |
This paper addresses the following extended regular expression (EREs for short, that is, regular expressions with inte... [more] |
COMP2007-29 pp.85-92 |
[Return to Top Page]