196 citations
- Tokyo Institute of TechnologyJP7 papers
- Tohoku UniversityJP6 papers
- Denso (United States)US3 papers
- Denso IT Laboratory Inc. (Japan)JP2 papers
- FortissDE2 papers
- National Institute of Advanced Industrial Science and TechnologyJP2 papers
- Toyota Central Research and Development Laboratories (Japan)JP2 papers
- Association for Computing MachineryUS1 paper
- Budapest University of Technology and EconomicsHU1 paper
- Center for Integrated Quantum Science and TechnologyDE1 paper
- Eötvös Loránd UniversityHU1 paper
- HUN-REN Wigner Research Centre for PhysicsHU1 paper
22 papers
Toward Linking Declined Proposals and Source Code: An Exploratory Study on the Go Repository
Sota Nakashima, Masanari Kondo, Mahmoud Alfadel +4
Traceability links are key information sources for software developers, connecting software artifacts. Such links play an important role, particularly between contribution artifact…
Minimal Sufficient Views: A DNN model making predictions with more evidence has higher accuracy
Keisuke Kawano, Takuro Kutsuna, Keisuke Sano
Deep neural networks (DNNs) exhibit high performance in image recognition; however, the reasons for their strong generalization abilities remain unclear. A plausible hypothesis is…
Design Optimization of Noise Filter using Quantum Annealer
Akihisa Okada, Hiroaki Yoshida, Kiyosumi Kidono +3
The use of quantum annealers in black-box optimization to obtain the desired properties of a product with a small number of trials has attracted attention. However, the application…
Informative Sample-Aware Proxy for Deep Metric Learning
Aoyu Li, Ikuro Sato, Kohta Ishikawa +2
Among various supervised deep metric learning methods proxy-based approaches have achieved high retrieval accuracies. Proxies, which are class-representative points in an embedding…
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking
Daisuke Ishii, Saito Fujii
One of the effective model checking methods is to utilize the efficient decision procedure of SAT (or SMT) solvers. In a SAT-based model checking, a system and its property are enc…
Multi-Decoder RNN Autoencoder Based on Variational Bayes Method
Daisuke Kaji, Kazuho Watanabe, Masahiro Kobayashi
Clustering algorithms have wide applications and play an important role in data analysis fields including time series data analysis. However, in time series analysis, most of the a…