01 2018/02 03
28293031 010203
04050607080910
11121314151617
18192021222324
25 262728010203
Click セミナー
2017年度
2018  2016  2015  2014  2013  2012  2011  2010  ALL 

Journal Papers

ヘイ チャン 
Incorporating Uncertain Evidence Into Arithmetic Circuits Representing Probability Distributions, Proceedings of Machine Learning Research, Volume 73, pages 105-116, 2017年09月

蓑田 玲緒奈, 湊 真一 
記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証, 電子情報通信学会論文誌, 和文誌D, 2018年03月

Reona Minoda, Shin-ichi Minato 
Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages, IEICE Trans. Inf. & Syst., Vol.E100-D, No.06, pp.1172-1181, 2017年06月

Gao Shan, Masakazu Ishihata, Shin-ichi Minato 
Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation, The Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN-2017), Kyoto Japan
Proceedings of Machine Learning Research, Volume 73, pp.117-128, September, 2017., 2017年09月

Refereed Conference

Takanori Maehara, Hirofumi Suzuki, Masakazu Ishihata 
Exact Computation of Influence Spread by Binary Decision Diagram, The 2017 World Wide Web conference (WWW-2017), 947-956, 2017年04月

Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato 
Statistical Emerging Pattern Mining with Multiple Testing Correction, The 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2017), Research Track, Hafifax, Nova Scotia, Canada, 2017年08月

Reona Minoda, Shin-ichi Minato 
Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking, In Proceedings of the 2nd International Conference on Pervasive Embedded Computing (PECCS/PEC 2017), pp.13-21, Madrid, Spain, 2017年07月

Reona Minoda, Masakazu Ishihata, Shin-ichi Minato 
Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking, In Proceedings of the Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), pp.85-91, Barcelona, Spain, 2017年11月

Conference

ヘイ チャン 
Incorporating Uncertain Evidence Into Arithmetic Circuits Representing Probability Distributions, The Third Workshop on Advanced Methodologies for Bayesian Networks, Kyoto, Japan, 2017年09月

蓑田 玲緒奈, 湊 真一 
スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用, 第31回人工知能学会全国大会, 名古屋, 2017年05月

石畠正和, 林浩平 
Probability Tensor Networks, 第20回情報論的学習理論ワークショップ (IBIS2017), ディスカッショントラック, 2017年11月

原聡, 石畠正和, 前原貴憲 
機械学習モデルの列挙, 第20回情報論的学習理論ワークショップ (IBIS2017), ディスカッショントラック, 2017年11月

坂上晋作, 石畠正和 
劣モジュラ最大化に対する高速な最良優先探索, 第20回情報論的学習理論ワークショップ (IBIS2017), テクニカルトラック, 2017年11月

鈴木浩史, 石畠正和, 湊真一 
フロンティア法による強連結な部分グラフの列挙, 人工知能学会 第104回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B507, pp. 26-31, 2017年08月

坂上晋作, 石畠正和, 湊真一 
敵対的組合せバンディット問題に対する ZDD を用いたアルゴリズム, 信学技報, vol. 117, no. 110, IBISML2017-1, pp. 43-48, 2017年06月

石畠正和, Mathieu Blondel 
Itemset Factorization Machine, 第31回人工知能学会全国大会, 2017年05月

Shinsaku Sakaue and Masakazu Ishihata 
Accelerated Best-first Search with Upper-bound Computation for Submodular Function Maximization, The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-2018), New Orleans U.S.A., 2018年02月

Satoshi Hara and Masakazu Ishihata 
Approximate and Exact Enumeration of Rule Models, The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-2018), New Orleans U.S.A., 2018年02月

原聡, 石畠正和, 前原貴憲 
機械学習モデルの列挙, 人工知能学会 第105回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B508, pp. 01-05, January, 2018., 2018年01月

金森憲太朗, 石畠正和, 湊真一, 有村博紀 
順序決定木に対する正則化パラメータ推定の高速化, 人工知能学会 第105回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B508, pp. 50-57, 2018年01月

Etc.

石畠正和  
論理と確率 ~正確で柔軟なモデリング, 2017年度 CCS/NetSci 合同ワークショップ_Invited Talks, 2017年08月

石畠正和  
離散構造処理系プロジェクト「若手研究者短期招聘プログラム」の成果報告, 基盤(S) 離散構造処理系プロジェクト 秋のワークショップ, 厚岸 北海道, 2017年11月

基盤(S) 離散構造処理系プロジェクト  
2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1846, 2017年06月

基盤(S) 離散構造処理系プロジェクト, CD-ROM  
2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1854, 2017年06月

石畠正和, 小宮山純平, 馬場雪乃 
比較バンディットアルゴリズムを用いたクラウドソーシングにおける品質・コストトレードオフの自動調整, 基盤(S) 離散構造処理系プロジェクト 秋のワークショップ, 厚岸 北海道, 2017年11月