JSAI Technical Report, SIG-FPAI

All issues

106th (Mar, 2018)

Displaying 1-20 of 20 articles from this issue

Download citation

Show all abstracts

Enumeration of Solutions of Inductive Logic Programming with Binary Decision Diagrams

Hikaru SHINDO, Masaaki NISHINO, Akihiro YAMAMOTO

Article type: SIG paper
Pages 01-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_01

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (664K)
Enumeration of triangulations by ZDD

Teruaki KUMAZAWA, Hiroshi SUZUKI, Masakazu ISHIHATA, Tetsuya ASAI, Mas ...

Article type: SIG paper
Pages 02-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_02

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (642K)
Experiments and Considerations on Enumerating Combinatorial Test Cases Using ZDDs

Shohei OHATA, Shin-ichi MINATO

Article type: SIG paper
Pages 03-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_03

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (652K)
SMT solver raSAT for solving nonlinear constraints over reals

Mizuhito OGAWA

Article type: SIG paper
Pages 04-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_04

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (644K)
Reducing waiting time of deterministic portfolio parallel SAT solvers

Yuuya GOTOU, Hidetomo NABESHIMA

Article type: SIG paper
Pages 05-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_05

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (1631K)
An Improvement of MaxSAT Encoding for Coalition Structure Generation Using MC-nets and Its Evaluations

Miyuki KOSHIMURA, Xiaojuan LIAO, Kazuki NOMOTO, Suguru UEDA, Yuko SAKU ...

Article type: SIG paper
Pages 06-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_06

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (662K)
Time Series Topic Transition Analysis using Micro-Clusters

Takako HASHIMOTO, Takeaki UNO, Tetsuji KUBOYAMA

Article type: SIG paper
Pages 07-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_07

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (815K)
Stabilize and Elaborate Concensus Clustering by Data Polishing

Takeaki UNO, Sachiko IWASAKI, Takanobu NAKAHARA, Masakazu NAKAMOTO, Yu ...

Article type: SIG paper
Pages 08-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_08

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (812K)
Multiviewpoint-based Partitional Clustering

Yuji FUJIWARA, Hisashi KOGA, Takahisa TODA

Article type: SIG paper
Pages 09-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_09

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (517K)
Comparing BDDs and ZDDs via Categorical Properties of Boolean Functions and Combination Sets

Kensuke KOJIMA

Article type: SIG paper
Pages 10-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_10

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (670K)
Dynamic mode decomposition with supervised information

Takehito BITO, Yoshinobu KAWAHARA, Takashi WASHIO

Article type: SIG paper
Pages 11-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_11

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (578K)
Tensor Decomposition via Legendre Transformation

Mahito SUGIYAMA, Hiroyuki NAKAHARA, Koji TSUDA

Article type: SIG paper
Pages 12-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_12

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (887K)
Discovering Attributes with DTW from Drive Data Which Shows the Difference of Two Drivers

Yoshiro ERA, Akihiro YAMAMOTO, Takatsune KUMADA

Article type: SIG paper
Pages 13-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_13

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (669K)
Integer Programming Formulations for Computing Alignment Distance between Unordered Trees

Ryo KUBOTA, Yasuaki KOBAYASHI, Akihiro YAMAMOTO

Article type: SIG paper
Pages 14-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_14

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (679K)
Coalition Formation Policy in Cognitive Radio Networks by Combinatorial Bandits

Sho IIZUKA, Jun KAWAHARA, Shoji KASAHARA

Article type: SIG paper
Pages 15-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_15

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (669K)
Bad Arm Existence Checking Algorithms with Small Sample Complexity

Koji TABATA, Atsuyoshi NAKAMURA, Junya HONDA, Tamiki KOMATSUZAKI

Article type: SIG paper
Pages 16-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_16

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (675K)
The Solution of Polygon Composition Puzzle Using SAT Solver

Noriaki CHIKARA

Article type: SIG paper
Pages 17-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_17

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (701K)
Online Mining of Closed Itemsets from Data Stream Using both a FP-tree and a Prefix-tree

Takumi NISHINA, Koji IWANUMA, Yoshitaka YAMAMOTO

Article type: SIG paper
Pages 18-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_18

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (782K)
A Fast Extraction Method of Minimal Generators from Closed Itemsets Without Support Calculation - Toward Improving Negative Association Rule Mining-

Kento YAJIMA, Koji IWANUMA, Yoshitaka YAMAMOTO

Article type: SIG paper
Pages 19-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_19

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (935K)
Boolean logic-based approaches to testing and verification of information systems

Tatsuhiro TSUCHIYA

Article type: SIG paper
Pages S01-
Published: March 07, 2018
Released on J-STAGE: July 01, 2021

DOIhttps://doi.org/10.11517/jsaifpai.106.0_S01

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (437K)

Register with J-STAGE for free!