2017.05.23

Publications

家庭やオフィス内の動作認識用大規模動画データセットの構築 (JSAI2017) Constructing a Large-Scale Video Dataset for Human Action Recognition at Home and Office (JSAI2017)

2017.05.18

Publications

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)

classification, hubness phenomenon, k-nearest neighbor, metric learning

2017.04.22

Publications

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

program analysis, evidence based tuning

2017.04.05

Publications

STAIR Captions: 大規模日本語画像キャプションデータセット (NLP2017) STAIR Captions: a Large-Scale Japanese Image Caption Dataset (NLP2017)

2017.04.05

Publications

STAIR Captions: Constructing a Large-Scale Japanese Image Caption Dataset (ACL2017 Short) Constructing Large-Scale Japanese Image Caption Dataset (ACL2017 Short)

2017.02.15

Publications

Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations Concurrent Program Logic for Relaxed Memory Consistency Models with Dependencies across Loop Iterations

logic, program logic, memory consistency models

2016.10.09

Publications

Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models

logic, program logic, memory consistency models

2016.10.06

Publications

Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models

memory consistency models, model checking, program verification