2017.11.12

Publications

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

memory consistency models, model checking, program verification

2017.10.19

Publications

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

model checking, program verification, garbage collection, memory consistency models

2017.09.15

Publications

リッジ回帰によるk近傍分類の性能改善 (IBISML) Ridge Regression for Improving the Accuracy of k-Nearest Neighbor Classification

machine learning, k-nearest neighbor, hubness phenomenon

2017.07.29

Publications

Learning from Noisy Label Distributions (ICANN2017) Learning from Noisy Label Distributions (ICANN2017)

machine learning

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