Oct. Nov. 2017 Dec.
SunMonTueWedThuFriSat
29303101020304
05060708091011
12131415161718
19 202122232425
26 272829300102
Click Seminar
F.Y.2017,
2016  2015  2014  2013  2012  2011  2010  ALL 

Journal Papers

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

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 (To Appear), July 2017

Conference

石畠正和, Mathieu Blondel 
Itemset Factorization Machine, 第31回人工知能学会全国大会, 名古屋, June 2017

Etc.

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