4 papers
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
One of the most important queries in knowledge compilation is weighted model counting (WMC), which has been applied to probabilistic inference on various models, such as Bayesian n…
Optimal Construction of N-bit-delay Almost Instantaneous Fixed-to-Variable-Length Codes
Ryosuke Sugiura, Masaaki Nishino, Norihito Yasuda +2
This paper presents an optimal construction of -bit-delay almost instantaneous fixed-to-variable-length (AIFV) codes, the general form of binary codes we can make when finite bi…
JaParaPat: A Large-Scale Japanese-English Parallel Patent Application Corpus
Masaaki Nagata, Katsuki Chousa, Norihito Yasuda
We constructed JaParaPat (Japanese-English Parallel Patent Application Corpus), a bilingual corpus of more than 300 million Japanese-English sentence pairs from patent applications…
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs
Ryoma Onaka, Kengo Nakamura, Masaaki Nishino +1
A knowledge compilation map analyzes tractable operations in Boolean function representations and compares their succinctness. This enables the selection of appropriate representat…