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

2016.05.01

Publications

ノイズあり属性統計量からの学習 (JSAI2016) Learning from Attribute Statistics with Noise (JSAI2016)

2015.12.01

Publications

Cross-Domain Matching for Bag-of-Words Data via Kernel Embeddings of Latent Distributions (NIPS2015) Cross-Domain Matching for Bag-of-Words Data via Kernel Embeddings of Latent Distributions (NIPS2015)