Jan. Feb. 2018 Mar.
SunMonTueWedThuFriSat
28293031 010203
04050607080910
11121314151617
18192021222324
25 262728010203
Click Seminar

Purpose and Background of the Research


Discrete structures are foundational material for computer science and mathematics. Many problems solved by computers can be decomposed into discrete structures using simple primitive algebraic operations. It is very important how to represent large-scale discrete structural data and to execute their operations efficiently. The project leader has been leading "JST ERATO Minato Discrete Structure Manipulation System Project" for six years. In this project, he has studied discrete structure manipulation systems using Zero-suppressed Binary Decision Diagrams (ZDDs) and their practical applications. As the results of the project, they developed novel techniques for enumerating, compressing and indexing large-scale data based on ZDDs, and they are very effective for real-life problems. Many researchers are now interested in these techniques, and several number of related research projects has been started. This research project focus on the core algorithms of discrete structure manipulation, and we will continue to maintain a firm research community in the center of the other related research projects.

Seminar Information

 

TOPICS

TBA

DateFebruary 26, 2018 (Monday)
Time16:00-17:00
SpeakerSho YOKOI
Site
 

Our project will organize a special session at JSAI-2018

Our project will organize a special session OS-16 "Satisfiability and Discrete Structure Manipulation in AI" at JSAI-2018, which will be held on June 5-8, 2018 at Kagoshima. Submission due is March 9, 2018.
(January 31, 2018 17:32 By minato)
 

Our result on online learning with ZDDs is accepted to AISTATS-2018.

Our paper "Efficient Bandit Combinatorial Optimization Algorithm with Zero-suppressed Binary Decision Diagrams" has been accepted to The 21st International Conference on
Artificial Intelligence and Statistics (AISTATS-2018).
This is a joint work with Shinsaku Sakaue at NTT.
(January 15, 2018 14:43 By Ishihata)
 

Our two papers have been accepted to AAAI-2018.

The following two papers have been accepted to AAAI-2018.

Shinsaku Sakaue and Masakazu Ishihata:
"Accelerated Best-first Search with Upper-bound Computation for Submodular Function Maximization"

Satoshi Hara and Masakazu Ishihata:
"Approximate and Exact Enumeration of Rule Models"
(November 15, 2017 15:50 By Ishihata)
 

Thank you for your registration for "Autumn Symposium".

2017 autumn workshop of our project will be held on Nov. 12(Sun) to 14(Tue) at Akkeshi-Town, Hokkaido. Please check here for latest information.
(September 7, 2017 19:32 By Ishihata)
 

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)