research
∙
09/14/2023
International Competition on Graph Counting Algorithms 2023
This paper reports on the details of the International Competition on Gr...
share
research
∙
10/11/2022
Generalization Analysis on Learning with a Concurrent Verifier
Machine learning technologies have been used in a wide range of practica...
research
∙
10/07/2021
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions
A rep-tile is a polygon that can be dissected into smaller copies (of th...
research
∙
03/02/2021
Differentiable Inductive Logic Programming for Structured Examples
The differentiable implementation of logic yields a seamless combination...
research
∙
04/29/2020
Bilingual Text Extraction as Reading Comprehension
In this paper, we propose a method to extract bilingual texts automatica...
research
∙
04/29/2020
A Supervised Word Alignment Method based on Cross-Language Span Prediction using Multilingual BERT
We present a novel supervised word alignment method based on cross-langu...
research
∙
04/06/2020
Variable Shift SDD: A More Succinct Sentential Decision Diagram
The Sentential Decision Diagram (SDD) is a tractable representation of B...
research
∙
03/24/2020
Recovery command generation towards automatic recovery in ICT systems by Seq2Seq learning
With the increase in scale and complexity of ICT systems, their operatio...
research
∙
03/09/2020
Metric Learning for Ordered Labeled Trees with pq-grams
Computing the similarity between two data points plays a vital role in m...
research
∙
01/06/2017