JSAI Technical Report, SIG-FPAI

All issues

109th (Mar, 2019)

Displaying 1-20 of 20 articles from this issue

Download citation

Show all abstracts

An Implementation of MCSes Enumeration with a SAT Solver and its Evaluations

Miyuki KOSHIMURA, Ken SATOH

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (501K)
Proposal of encoding alldifferent constraints to Boolean cardinality constraints and its evaluation on queen graph coloring problems

Shusuke OHNO, Mutsunori BANBARA, Takehide SOH, Naoyuki TAMURA

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (657K)
A meta search strategy based on learned clause simplification for SAT solvers

Riku NAKAO, Hidetomo NABESIMA

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (551K)
An adaptive search strategy for portfolio parallel SAT solvers

Kazuhiro KANBARA, Hidetomo NABESHIMA

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (525K)
Candidate Clauses Reduction for Dynamic Symmetry Breaking in SAT Solving

Takumi ICHIZAWA, Syoki HARADA, Hidetomo NABESHIMA

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (677K)
Performance of Iterated k-opt Local Search based on Search Frequency Information for the Maximum Clique Problem

Kazuho KANAHARA, Kengo KATAYAMA, Etsuji TOMITA, Sora MATSUZAKI

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (705K)
Speeding up SAT-based NumerLink Solvers with Crossing-Path Avoidance Constraints

Mitsuhiro WATANABE, Takahisa TODA

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (656K)
Improvement of ICM by Simultaneous Learning of Transformed Images

Tetsuto IIOKA, Toru WAKAHARA, Hiroshi HOSOBE

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (817K)
An Incremental MaxSAT Approach for Solving the Realtime Taxi-Sharing Service Problem

Aolong ZHA, Qiong CHANG, Itsuki NODA

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (816K)
Constained Clustering via Nearest Neighbor Search and Formal Concept Analysis

Yuka YONEDA, Mahito SUGIYAMA, Takashi WASHIO

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (646K)
Ensemble Learning Based on Adaptive Decision Trees for Non-Stationary Data Streams

Yu SUGAWARA, Ichigaku TAKIGAWA

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (719K)
Reduction on the Number of Distinct Branch Nodes of a Random Forest Classifier

Kento SAKURADA, Atsutoshi NAKAMURA

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (576K)
Identification of the Structure of a Probalistic Boolean Network from Subtuple Frequenceis of Samples

Tatsuya AKUTSU, Avraham A MELKMAN

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (629K)
Algorithms for Linear Least Common Generalization Problem on Strings

Takumon SATOMI, Yasuaki KOBAYASHI, Akihiro YAMAMOTO

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (571K)
Common Structure Mining over Multiple Data Domains

Makoto HARAGUCHI, Keisuke SASAHARA

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (523K)
Crime Prediction based on Information Propagation Model and Gaussian Process

Shusuke MORIMOTO, Hajime KAWAMUKAI, Kilho SHIN

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (4327K)
Moment Kernel Application to Classification

Kenji TANAKA, Kilho SHIN

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (699K)
Classification System of Staining and Shapes for Bacteria from Gram Stain Images

Kazuki HASHIMOTO, Ryosuke IIDA, Kouichi HIRATA

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (1667K)
Modeling and Solving Soft Constraints and Their Applications

Hiroshi HOSOBE

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

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

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (244K)
Identification of the Structure of a Probalistic Boolean Network from Subtuple Frequenceis of Samples

[in Japanese]

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

DOIhttps://doi.org/10.11517/jsaifpai.109.0_S02

CONFERENCE PROCEEDINGS FREE ACCESS

Download PDF (500K)

Register with J-STAGE for free!