Publications
-
2016.10.06
Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models
Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, and Kousuke Matsumoto. Reducing state explosion for software mod... -
2016.05.01
ノイズあり属性統計量からの学習 (JSAI2016) Learning from Attribute Statistics with Noise (JSAI2016)
吉川友也. ノイズあり属性統計量からの学習. 第30回人工知能学会全国大会 (JSAI2016). 2016. Yuya Yoshikawa. Learning from Attribute Statistics wit... -
2015.12.01
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)
Yuya Yoshikawa, Tomoharu Iwata (NTT), Hiroshi Sawada (NTT) and Takeshi Yamada (NTT). Cross-Domain Matching for...