Login / Signup
Yoshinao Ishii
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 10
Top Topics
Outlier Detection
Cooperative
Bounded Model Checking
Robust Estimators
Top Venues
ICPHM
IEICE Trans. Inf. Syst.
Int. J. Softw. Tools Technol. Transf.
VTC Fall
</>
Publications
</>
Ayano Okoso
,
Keisuke Otaki
,
Yoshinao Ishii
,
Satoshi Koide
A Case Study on Recommender Systems in Online Conferences: Behavioral Analysis through A/B Testing.
IEICE Trans. Inf. Syst.
107 (5) (2024)
Yoshinao Ishii
,
Satoshi Koide
,
Keiichiro Hayakawa
Learning low-dimensional manifolds under the L0-norm constraint for unsupervised outlier detection.
Int. J. Data Sci. Anal.
13 (1) (2022)
Yoshinao Ishii
,
Satoshi Koide
,
Keiichiro Hayakawa
L0-norm Constrained Autoencoders for Unsupervised Outlier Detection.
PAKDD (2)
(2020)
Shuichi Sato
,
Yosuke Watanabe
,
Hiroyuki Seki
,
Yoshinao Ishii
,
Shoji Yuen
Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming.
ICPHM
(2020)
Masaki Takanashi
,
Yoshinao Ishii
,
Shuichi Sato
,
Noriyoshi Sano
,
Katsushi Sanda
Road-Deterioration Detection using Road Vibration Data with Machine-Learning Approach.
ICPHM
(2020)
Yoshinao Ishii
,
Masaki Takanashi
Low-cost Unsupervised Outlier Detection by Autoencoders with Robust Estimation.
J. Inf. Process.
27 (2019)
Eiji Okamoto
,
Hiraku Okada
,
Yoshinao Ishii
,
Satoshi Makido
Performance Improvement of Low-Latency V2I Uplink Using Superposed Cooperative V2V Transmission.
VTC Fall
(2017)
Yoshinao Ishii
,
Takuro Kutsuna
Effective Fault Localization Using Dynamic Slicing and an SMT Solver.
ICST Workshops
(2016)
Takuro Kutsuna
,
Yoshinao Ishii
Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing.
FMICS-AVoCS
(2016)
Takuro Kutsuna
,
Yoshinao Ishii
,
Akihiro Yamamoto
Abstraction and refinement of mathematical functions toward SMT-based test-case generation.
Int. J. Softw. Tools Technol. Transf.
18 (1) (2016)