Publications
-
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...metric learninghubness phenomenonclassificationk-nearest neighbor
-
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 ... -
2017.04.05
STAIR Captions: 大規模日本語画像キャプションデータセット (NLP2017) STAIR Captions: a Large-Scale Japanese Image Caption Dataset (NLP2017)
吉川友也, 重藤優太郎, 竹内彰一. STAIR Captions: 大規模日本語画像キャプションデータセット. 言語処理学会第23回年次大会 (NLP2017), 2017. [Paper] -
2017.04.05
STAIR Captions: Constructing a Large-Scale Japanese Image Caption Dataset (ACL2017 Short) Constructing Large-Scale Japanese Image Caption Dataset (ACL2017 Short)
Yuya Yoshikawa, Yutaro Shigeto and Akikazu Takeuchi. STAIR Captions: Constructing a Large-Scale Japanese Image...