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

【終了】第5回ステアラボ人工知能セミナー マチュー・ブロンデル先生「Higher-Order Factorization Machines」 The 5th STAIR Lab AI Seminar: Dr. Mathieu Blondel, "Higher-Order Factorization Machines"

seminar

【終了】第4回ステアラボ人工知能セミナー 馬場雪乃先生「群衆の知を引き出すための機械学習」 The 4th STAIR Lab AI Seminar: Dr. Yukino Baba, "Machine Learning for Extracting Knowledge of the Crowd""

seminar

【終了】第3回ステアラボ人工知能セミナー 牛久祥孝先生「画像キャプションの自動生成」 The 3rd STAIR Lab AI Seminar: Dr. Yoshitaka Ushiku, "Automatic Generation of Image Captions"

seminar

【終了】第2回ステアラボ人工知能セミナー 岩田具治先生「教師なしオブジェクトマッチング」 The 2nd STAIR Lab AI Seminar: Dr. Tomoharu Iwata, "Unsupervised Object Matching"

seminar

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

【終了】第1回ステアラボ人工知能セミナー 進藤裕之先生「深層学習に基づく自然言語処理の研究動向」 The 1st STAIR Lab AI Seminar: Dr. Hiroyuki Shindo, "Research Trends in Natural Language Processing based on Deep Learning"

seminar

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)