Schedule of "Autumn Symposium" has been decided.
|2017 autumn symposium of our project will be held on Nov. 12(Sun) to 14(Tue) at Akkeshi-Town, Hokkaido. Please check here for latest information.|
|(August 17, 2017 17:11 By minato)|
Received the Best Paper Award of PECCS/PEC 2017
|The paper "Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking" written by Reona Minoda and Shin-ichi Minato received the Best Paper Award of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS/PEC 2017).|
|(August 8, 2017 12:40 By minato)|
Received the JSAI Incentive Award 2016
|The paper "Applying Permutation Decision Diagrams to Cycle type Partition on a Permutation Set" written by Yuma Inoue and Shin-ichi Minato received the JSAI Incentive Award 2016.|
|(August 7, 2017 12:33 By Ishihata)|
Our result on statistical emerging pattern mining has been accepted to KDD-2017
|Our paper "Statistical Emerging Pattern Mining with Multiple Testing Correction" has been accepted to the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2017).|
This is a joint work with Dr. Junpei Komiyama.
|(June 21, 2017 15:21 By Ishihata)|
1.9million views times over
|Unbelievable! Even now she continue to count.|
The view number of animation movie was exceeded 1.9 million times.
|(May 2, 2017 11:09 By minato)|