Publications
-
2018.04.13
STAIR Actions: A Video Dataset of Everyday Home Actions STAIR Actions: A Video Dataset of Everyday Home Actions
Yuya Yoshikawa, Jiaqing Lin, Akikazu Takeuchi arXiv:1804.04326 [cs.CV], April, 2018. A new large-scale video d... -
2018.03.15
Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN
Kosuke Matsumoto, Tomoharu Ugawa, and Tatsuya Abe. Improvement of a Library for Model Checking under Weakly Or... -
2017.12.15
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models
Tatsuya Abe, Tomoharu Ugawa, and Toshiyuki Maeda. Reordering control approaches to state explosion in model ch... -
2017.11.12
A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models
Tatsuya Abe. A verifier of directed acyclic graphs for model checking with memory consistency models. In Proce... -
2017.10.19
Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
Tomoharu Ugawa, Tatsuya Abe, and Toshiyuki Maeda. Model checking copy phases of concurrent copying garbage col...memory consistency modelsmodel checkingprogram verificationgarbage collection
-
2017.09.15
リッジ回帰によるk近傍分類の性能改善 (IBISML) Ridge Regression for Improving the Accuracy of k-Nearest Neighbor Classification
本論文では, $k$近傍分類のための非類似度関数とその学習法を提案する. 既存の距離学習は, 目的関数に基づいた写像行列を学習し, この写像行列を用いてクエリ事例とラベル付き事例を特徴空間の新たな点に写像する. 一方で,... -
2017.07.29
Learning from Noisy Label Distributions (ICANN2017) Learning from Noisy Label Distributions (ICANN2017)
Yuya Yoshikawa, “Learning from Noisy Label Distributions,” The 26th International Conference on Artificial Neu... -
2017.05.23
家庭やオフィス内の動作認識用大規模動画データセットの構築 (JSAI2017) Constructing a Large-Scale Video Dataset for Human Action Recognition at Home and Office (JSAI2017)
吉川友也, 竹内彰一. 家庭やオフィス内の動作認識用大規模動画データセットの構築. 2017年度人工知能学会全国大会 (JSAI2017), 2017. [paper] Yuya Yoshikawa and Akikaz... -
2017.05.18
A Fast and Easy Regression Technique for k-NN Classification Without Using Negative Pairs (PAKDD2017) A Fast and Easy Regression Technique for k-NN Classification Without Using Negative Pairs (PAKDD2017)
This paper proposes an inexpensive way to learn an effective dissimilarity function to be used for k-nearest n...classificationhubness phenomenonk-nearest neighbormetric learning
-
2017.04.22
An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels (ICPE2017) An Empirical Study of Computation-Intensive Loops for Identifying and Classifying Loop Kernels (ICPE2017)
The process of performance tuning is time consuming and costly even if it is carried out automatically. It is ...