Aug. Sep. 2017 Oct.
SunMonTueWedThuFriSat
27282930310102
03040506070809
10111213141516
17181920212223
24252627282930
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