Oct. Nov. 2018 Dec.
SunMonTueWedThuFriSat
28293031010203
04050607080910
11121314151617
18192021222324
25262728293001
Click Seminar
F.Y.2017,
2018  2016  2015  2014  2013  2012  2011  2010  ALL 

Journal Papers

Reona Minoda, Shin-ichi Minato 
, , March 2018

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, June 2017

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., September 2017

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, April 2017

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, August 2017

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, July 2017

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, November 2017

Hei Chan 
Incorporating Uncertain Evidence Into Arithmetic Circuits Representing Probability Distributions, Proceedings of Machine Learning Research, Volume 73, pages 105-116, March 2018

Isamu Furuya and Takuya Kida 
Compaction of Church Numerals for Higher-Order Compression, Data Compression Conference (DCC2018), Cliff Lodge, Snowbird, USA, March 2018

Conference

Hei Chan 
Incorporating Uncertain Evidence Into Arithmetic Circuits Representing Probability Distributions
, The Third Workshop on Advanced Methodologies for Bayesian Networks, Kyoto, Japan, September 2017

Reona Minoda, Shin-ichi Minato 
, , May 2017

石畠正和, 林浩平 
Probability Tensor Networks, , November 2017

原聡, 石畠正和, 前原貴憲 
, , November 2017

坂上晋作, 石畠正和 
, , November 2017

鈴木浩史, 石畠正和, 湊真一 
, , August 2017

坂上晋作, 石畠正和, 湊真一 
, , June 2017

石畠正和, Mathieu Blondel 
Itemset Factorization Machine, , May 2017

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., February 2018

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., February 2018

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

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

Isamu Furuya and Takuya Kida 
A Compact Expression of Church Numerals and Its Application to Higher-Order Compression, The 20th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC2017), Hanyang University, Seoul, Korea, August 2017

Isamu Furuya and Takuya Kida 
A Compact Expression of Church Numerals and Its Application to Higher-Order Compression, 情報処理北海道シンポジウム2017,北海道大学,北海道札幌市, October 2017

熊澤輝顕、鈴木浩史、石畠正和、浅井哲也、池辺将之、本村真人、高前田伸也 
, , March 2018

Etc.

Masakazu Ishihata 
, , August 2017

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

KAKENHI(S) Discrete Structure Manipulation System Project  
2016 Kokyuroku (Technical Report Series), JSPS KAKENHI(S) Discrete Structure Manipulation System Project, ISSN 2186-1846, June 2017

KAKENHI(S) Discrete Structure Manipulation System Project, CD-ROM  
2016 Kokyuroku (Technical Report Series), JSPS KAKENHI(S) Discrete Structure Manipulation System Project, ISSN 2186-1854, June 2017

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