Publications
-
2017.02.15
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
Tatsuya Abe and Toshiyuki Maeda. Concurrent program logic for relaxed memory consistency models with dependenc... -
2016.10.09
Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models
Tatsuya Abe and Toshiyuki Maeda. Observation-based concurrent program logic for relaxed memory consistency mod... -
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...