Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2024-01-18 11:05 |
Ishikawa |
(Ishikawa, Online) (Primary: On-site, Secondary: Online) |
Preliminary Study on Driver Drowsiness Detection with Deep Learning Using Vehicular Data Yutaro Nakagama, Daisuke Ishii (JAIST), Kazuki Yoshizoe (Kyushu Univ.) MSS2023-63 SS2023-42 |
Driver drowsiness detection (DDD) systems are being developed to prevent accidents caused by the distraction of automobi... [more] |
MSS2023-63 SS2023-42 pp.64-69 |
SeMI, RCS, RCC, NS, SR (Joint) |
2023-07-12 10:00 |
Osaka |
Osaka University Nakanoshima Center + Online (Osaka, Online) (Primary: On-site, Secondary: Online) |
Scalable Clustering Method in Downlink Cell-Free MIMO Using Layered Partially Non-orthogonal ZF-Based Beamforming Daisuke Ishii, Takanori Hara, Kenichi Higuchi (Tokyo Univ. of Science) RCS2023-79 |
In this paper, we investigate a method for clustering UE-specific transmission TRPs in downlink cell-free multi-input mu... [more] |
RCS2023-79 pp.1-6 |
RCS |
2022-06-15 14:25 |
Okinawa |
University of the Ryukyus, Senbaru Campus and online (Okinawa, Online) (Primary: On-site, Secondary: Online) |
Investigations on TRP Clustering Method in Downlink Cell-Free MIMO Using Layered Partially Non-orthogonal ZF-Based Beamforming Daisuke Ishii, Takanori Hara (Tokyo Univ. of Science), Nobuhide Nonaka (NTT DOCOMO), Kenichi Higuchi (Tokyo Univ. of Science) RCS2022-36 |
[more] |
RCS2022-36 pp.73-78 |
PRMU, BioX |
2019-03-17 13:00 |
Tokyo |
(Tokyo) |
Report of the 22nd PRMU Algorithm Contest
-- Constructing a Cloned Model of Pattern Recognizers -- Kazuaki Nakamura (Osaka Univ.), Tomo Miyazaki (Tohoku Univ.), Daisuke Ishii (Fujitsu Lab.), Shuichi Akizuki (Keio Univ.), Yoshihiko Mochizuki (Waseda Univ.) BioX2018-37 PRMU2018-141 |
[more] |
BioX2018-37 PRMU2018-141 pp.49-57 |
NLP, MSS (Joint) |
2019-03-14 12:55 |
Fukui |
Bunkyo Camp., Univ. of Fukui (Fukui) |
Experiment on SMT-LIB Encoding Methods for Simulink Models Koki Takenaka, Daisuke Ishii (U. Fukui) MSS2018-82 |
Static analysis is useful for coverage testing etc. for Simulink models as for general-purpose programs. In this work, w... [more] |
MSS2018-82 pp.7-11 |
NLP, MSS (Joint) |
2019-03-14 13:45 |
Fukui |
Bunkyo Camp., Univ. of Fukui (Fukui) |
Implementation of Rigorous Simulator for Hybrid Systems Based on Duracz et al. 's Operational Semantics Shota Kojima, Daisuke Ishii (U. Fukui) MSS2018-84 |
Rigorous numerical simulation based on a safe approximation of states plays an important role in analysis of hybrid syst... [more] |
MSS2018-84 pp.19-22 |
SS |
2019-03-04 10:15 |
Okinawa |
(Okinawa) |
Statistical model checking of hybrid systems with Acumen Kosuke Inoue, Daisuke Ishii (Fukui Univ.) SS2018-54 |
An integrated tool for modeling, simulation and verification is useful for developing reliable continuous/discrete hybri... [more] |
SS2018-54 pp.13-18 |
PRMU, BioX |
2018-03-19 11:15 |
Tokyo |
(Tokyo) |
Report of the 21st PRMU Algorithm Contest
-- Kana Recognition in Historical Japanese Documents -- Tomo Miyazaki (Tohoku Univ.), Kawanishi Yasutomo (Nagoya Univ), Daisuke Ishii (Fujitsu Lab.), Kazuaki Nakamura (Osaka Univ.), Shuichi Akizuki (Keio Univ.) BioX2017-64 PRMU2017-200 |
(To be available after the conference date) [more] |
BioX2017-64 PRMU2017-200 pp.169-176 |
IBISML |
2018-03-06 10:25 |
Fukuoka |
Nishijin Plaza, Kyushu University (Fukuoka) |
Using local minima to accelerate Krawczyk-Hansen global optimization Hiroaki Takada (Univ. of Tokyo), Kazuki Yoshizoe (RIKEN), Daisuke Ishii (Univ. of Fukui), Koji Tsuda (Univ. of Tokyo) IBISML2017-99 |
Krawczyk-Hansen algorithm employs interval calculus and branch-and-bound search to solve a global optimization problem w... [more] |
IBISML2017-99 pp.63-70 |
PRMU, CNR |
2018-02-19 14:20 |
Wakayama |
(Wakayama) |
Multi-camera human tracking method for sports analyzing systems. Daisuke Ishii, Osafumi Nakayama, Tohru Tsuruta (Fujitsu Labs.) PRMU2017-155 CNR2017-33 |
Recently, collection and utilization of statistical data using ICT are focused on in the sports region.
In this articl... [more] |
PRMU2017-155 CNR2017-33 pp.59-64 |
MSS |
2016-03-04 09:35 |
Yamaguchi |
KAIKYO MESSE SHIMONOSEKI (Yamaguchi) |
Controller Tuning with Falsification of Temporal Logic Formulae Taiyo Mineo (Tokyo Tech.), Daisuke Ishii (Univ. of Fukui), Takuo Watanabe (Tokyo Tech.) MSS2015-79 |
[more] |
MSS2015-79 pp.61-66 |
SS, MSS |
2016-01-25 15:00 |
Ishikawa |
Shiinoki-Geihin-Kan (Ishikawa) |
[Invited Talk]
Robustness Monitoring of Temporal Logic Formulae using Interval Analysis Daisuke Ishii (U. Fukui) MSS2015-45 SS2015-54 |
[more] |
MSS2015-45 SS2015-54 pp.59-62 |
MSS, SS |
2015-01-27 08:30 |
Tottori |
(Tottori) |
Statistical Model Checking of Hybrid Systems using Interval Analysis Daisuke Ishii, Naoki Yonezaki (Titech) MSS2014-80 SS2014-44 |
[more] |
MSS2014-80 SS2014-44 pp.67-71 |
SS, MSS |
2014-01-31 16:15 |
Aichi |
(Aichi) |
Simulation of Nonlinear Hybrid Systems using a Parallelotope Method Daisuke Ishii (Tokyo Inst. of Tech.), Alexandre Goldsztejn (CNRS/LINA) MSS2013-74 SS2013-71 |
[more] |
MSS2013-74 SS2013-71 pp.135-139 |
NS |
2013-10-17 10:15 |
Hokkaido |
Hokkaido Univ. (Hokkaido) |
A Study on Redundant Data Processing Units Reconfiguration Method in Scalable and High Reliable Communication Node Daisuke Ishii, Michitaka Okuno (Hitachi) NS2013-92 |
A redundancy reconfiguration method is proposed in order to realize a scalable and high reliable communication node at l... [more] |
NS2013-92 pp.13-18 |
NS, IN (Joint) |
2012-03-08 11:20 |
Miyazaki |
Miyazaki Seagia (Miyazaki) |
Reliability Aware Topology Design Method for Energy Efficient Layer-2 Networks Haruka Yonezu (Keio Univ.), Takashi Kurimoto (NTT), Daisuke Ishii, Satoru Okamoto (Keio Univ.), Eiji Oki (The Univ. of Electro-Communications), Naoaki Yamanaka (Keio Univ.) NS2011-184 |
In order to reduce the energy consumption of transport/data center networks, MiDORi network technology is introduced. Th... [more] |
NS2011-184 pp.29-34 |
IN |
2012-01-27 13:50 |
Hokkaido |
Asahikawa-Terminal-Hotel (Hokkaido) |
A Construction Method of Composite Service Tree with consideration for Maximum Delay and Service-Parts Utilization in uGrid Video Delivering System Alateng Songbuer, Shanming Zhang, Kenta Nakahara, Kou Kikuta, Daisuke Ishii, Takashi Kurimoto, Satoru Okamoto, Naoaki Yamanaka (Keio Univ.) IN2011-133 |
(Advance abstract in Japanese is available) [more] |
IN2011-133 pp.77-82 |
SS, MSS |
2012-01-27 09:00 |
Kochi |
Kochi City Culture-Plaza Cul-Port (Kochi) |
[Invited Talk]
Research Cases on Interval Constraint Programming
-- A Projection Method for Under-Constrained Problems and a Precise Simulation Method for Hybrid Systems -- Daisuke Ishii (NII) MSS2011-67 SS2011-52 |
Interval constraint programming is a framework for describing various phenomena with constraints that involve variables ... [more] |
MSS2011-67 SS2011-52 pp.73-77 |
EMT, PN, LQE, OPE, MWP, EST, IEE-EMT [detail] |
2012-01-27 10:50 |
Osaka |
Osaka Univ. Convention Center (Osaka) |
A Study on Optical Access Network Architecture and ONU Sleep Mode for Low Power Consumption Yuki Higuchi, Yuji Shimada, Takehiro Sato, Kazumasa Tokuhashi, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka (Keio Univ.) PN2011-55 OPE2011-171 LQE2011-157 EST2011-105 MWP2011-73 |
Recently, access network consumes almost 70\% electricity of the whole network in Japan, and the low-power-consumption t... [more] |
PN2011-55 OPE2011-171 LQE2011-157 EST2011-105 MWP2011-73 pp.163-167 |
NS, RCS (Joint) |
2011-12-16 10:00 |
Yamaguchi |
Yamaguchi University (Yamaguchi) |
Service composition system optimized network and service resources in E3-DCN Naohiko Shibuta, Kenta Nakahara, Kou Kikuta, Daisuke Ishii, Satoru Okamoto (Keio Univ.), Eiji Oki (U.E.C.), Naoaki Yamanaka (Keio Univ.) NS2011-138 |
We previously presented Ubiquitous Grid Networking Environment (uGrid).
In uGrid, everything on the network such as dev... [more] |
NS2011-138 pp.115-120 |