Demo Data from VLDB 2026 / reviewers in the wild / expert
Knot Pipatsrisawat
dblp:08/829
· DBLP profile ↗
18ranked-venue papers
10as first author
0since 2021 · last 2020
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 16 · 10 first-authorGraphics, computer vision, multimedia, augmented reality and games · 5 · 5 first-authorTheory of computation · 2 · 2 first-authorApplied, interdisciplinary, general and emerging computing · 2Software engineering, systems software and programming languages · 1 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
4 papers |
Automated reasoning and model checking · 76% Computational complexity · 15% Logic in computer science · 10% | |
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Bioinformatics and computational biology · 100% | |
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% |
Topics — the 10 heaviest of 11, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking › satisfiability
SAT solving |
0.2 | 2 | 2011 | On the power of clause-learning SAT solvers as resolution engines · Artif. Intell. 2011 A New Clause Learning Scheme for Efficient Unsatisfiability Proofs · AAAI 2008 |
Automated reasoning and model checking
knowledge compilation |
0.2 | 2 | 2009 | A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT · IJCAI 2009 New Compilation Languages Based on Structured Decomposability · AAAI 2008 |
Computational complexity
proof complexity |
0.1 | 1 | 2011 | On the power of clause-learning SAT solvers as resolution engines · Artif. Intell. 2011 |
Bioinformatics and computational biology
genomics |
0.1 | 1 | 2010 | Optimal algorithms for haplotype assembly from whole-genome sequence data · Bioinform. 2010 |
Bioinformatics and computational biology › genomics
haplotype inference |
0.1 | 1 | 2010 | Optimal algorithms for haplotype assembly from whole-genome sequence data · Bioinform. 2010 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
probabilistic reasoning |
0.1 | 1 | 2009 | A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT · IJCAI 2009 |
Automated reasoning and model checking › knowledge compilation
d-DNNF |
0.1 | 1 | 2009 | A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT · IJCAI 2009 |
Automated reasoning and model checking › satisfiability › SAT solving
clause learning |
0.1 | 1 | 2008 | A New Clause Learning Scheme for Efficient Unsatisfiability Proofs · AAAI 2008 |
Automated reasoning and model checking › satisfiability › SAT solving
unsatisfiability proofs |
0.1 | 1 | 2008 | A New Clause Learning Scheme for Efficient Unsatisfiability Proofs · AAAI 2008 |
Bioinformatics and computational biology › statistical genetics › haplotype analysis
haplotype phasing |
0.0 | 1 | 2010 | Optimal algorithms for haplotype assembly from whole-genome sequence data · Bioinform. 2010 |
Methods — techniques the papers use, named apart from their topics
resolution · 0.1clause learning · 0.1maximum satisfiability · 0.1dynamic programming · 0.1clause learning scheme · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | Crowdsourcing Latin American Spanish for Low-Resource Text-to-SpeechabstractIn this paper we present a multidialectal corpus approach for building a text-to-speech voice for a new dialect in a language with existing resources, focusing on various South American dialects of Spanish. We first present public speech datasets for Argentinian, Chilean, Colombian, Peruvian, Puerto Rican and Venezuelan Spanish specifically constructed with text-to-speech applications in mind using crowd-sourcing. We then compare the monodialectal voices built with minimal data to a multidialectal model built by pooling all the resources from all dialects. Our results show that the multidialectal model outperforms the monodialectal baseline models. We also experiment with a “zero-resource” dialect scenario where we build a multidialectal voice for a dialect while holding out target dialect recordings from the training data. Adriana Guevara-Rukoz, Isin Demirsahin, Shan-Hui Cathy Chu, Supheakmungkol Sarin, Knot Pipatsrisawat, Alexander Gutkin, Alena Butryna, Oddur Kjartansson |
LREC | 6 |
| 2020 | Open-source Multi-speaker Speech Corpora for Building Gujarati, Kannada, Malayalam, Marathi, Tamil and Telugu Speech Synthesis SystemsabstractWe present free high quality multi-speaker speech corpora for Gujarati, Kannada, Malayalam, Marathi, Tamil and Telugu, which are six of the twenty two official languages of India spoken by 374 million native speakers. The datasets are primarily intended for use in text-to-speech (TTS) applications, such as constructing multilingual voices or being used for speaker or language adaptation. Most of the corpora (apart from Marathi, which is a female-only database) consist of at least 2,000 recorded lines from female and male native speakers of the language. We present the methodological details behind corpora acquisition, which can be scaled to acquiring data for other languages of interest. We describe the experiments in building a multilingual text-to-speech model that is constructed by combining our corpora. Our results indicate that using these corpora results in good quality voices, with Mean Opinion Scores (MOS) > 3.6, for all the languages tested. We believe that these resources, released with an open-source license, and the described methodology will help in the progress of speech applications for the languages described and aid corpora development for other, smaller, languages of India and beyond. Shan-Hui Cathy Chu, Oddur Kjartansson, Clara Rivera, Anna Katanova, Alexander Gutkin, Isin Demirsahin, Cibu Johny, Martin Jansche, Supheakmungkol Sarin, Knot Pipatsrisawat |
LREC | 11 |
| 2020 | Burmese Speech Corpus, Finite-State Text Normalization and Pronunciation Grammars with an Application to Text-to-SpeechabstractThis paper introduces an open-source crowd-sourced multi-speaker speech corpus along with the comprehensive set of finite-state transducer (FST) grammars for performing text normalization for the Burmese (Myanmar) language. We also introduce the open-source finite-state grammars for performing grapheme-to-phoneme (G2P) conversion for Burmese. These three components are necessary (but not sufficient) for building a high-quality text-to-speech (TTS) system for Burmese, a tonal Southeast Asian language from the Sino-Tibetan family which presents several linguistic challenges. We describe the corpus acquisition process and provide the details of our finite state-based approach to Burmese text normalization and G2P. Our experiments involve building a multi-speaker TTS system based on long short term memory (LSTM) recurrent neural network (RNN) models, which were previously shown to perform well for other languages in a low-resource setting. Our results indicate that the data and grammars that we are announcing are sufficient to build reasonably high-quality models comparable to other systems. We hope these resources will facilitate speech and language research on the Burmese language, which is considered by many to be low-resource due to the limited availability of free linguistic data. Yin May Oo, Theeraphol Wattanavekin, Chenfang Li, Pasindu De Silva, Supheakmungkol Sarin, Knot Pipatsrisawat, Martin Jansche, Oddur Kjartansson, Alexander Gutkin |
LREC | 6 |
| 2018 | Voice Builder: A Tool for Building Text-To-Speech Voices
Pasindu De Silva, Theeraphol Wattanavekin, Tang Hao, Knot Pipatsrisawat |
LREC | 4 |
| 2018 | Building Open Javanese and Sundanese Corpora for Multilingual Text-to-Speech
Jaka Aris Eko Wibawa, Supheakmungkol Sarin, Chenfang Li, Knot Pipatsrisawat, Keshan Sodimana, Oddur Kjartansson, Alexander Gutkin, Martin Jansche, Linne Ha |
LREC | 4 |
| 2016 | TTS for Low Resource Languages: A Bangla Synthesizer
Alexander Gutkin, Linne Ha, Martin Jansche, Knot Pipatsrisawat, Richard Sproat |
LREC | 4 |
| 2011 | On the power of clause-learning SAT solvers as resolution engines
Knot Pipatsrisawat, Adnan Darwiche |
Artif. Intell. | 1 |
| 2010 | Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications
Knot Pipatsrisawat, Adnan Darwiche |
ECAI | 1 |
| 2010 | On Decomposability and Interaction Functions
Knot Pipatsrisawat, Adnan Darwiche |
ECAI | 1 |
| 2010 | Optimal algorithms for haplotype assembly from whole-genome sequence dataabstractMOTIVATION: Haplotype inference is an important step for many types of analyses of genetic variation in the human genome. Traditional approaches for obtaining haplotypes involve collecting genotype information from a population of individuals and then applying a haplotype inference algorithm. The development of high-throughput sequencing technologies allows for an alternative strategy to obtain haplotypes by combining sequence fragments. The problem of 'haplotype assembly' is the problem of assembling the two haplotypes for a chromosome given the collection of such fragments, or reads, and their locations in the haplotypes, which are pre-determined by mapping the reads to a reference genome. Errors in reads significantly increase the difficulty of the problem and it has been shown that the problem is NP-hard even for reads of length 2. Existing greedy and stochastic algorithms are not guaranteed to find the optimal solutions for the haplotype assembly problem. RESULTS: In this article, we proposed a dynamic programming algorithm that is able to assemble the haplotypes optimally with time complexity O(m x 2(k) x n), where m is the number of reads, k is the length of the longest read and n is the total number of SNPs in the haplotypes. We also reduce the haplotype assembly problem into the maximum satisfiability problem that can often be solved optimally even when k is large. Taking advantage of the efficiency of our algorithm, we perform simulation experiments demonstrating that the assembly of haplotypes using reads of length typical of the current sequencing technologies is not practical. However, we demonstrate that the combination of this approach and the traditional haplotype phasing approaches allow us to practically construct haplotypes containing both common and rare variants. Dan He 0001, Arthur Choi, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin |
Bioinform. | 3 |
| 2010 | On Modern Clause-Learning Satisfiability Solvers
Knot Pipatsrisawat, Adnan Darwiche |
J. Autom. Reason. | 1 |
| 2009 | On the Power of Clause-Learning SAT Solvers with Restarts
Knot Pipatsrisawat, Adnan Darwiche |
CP | 1 |
| 2009 | A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT
Knot Pipatsrisawat, Adnan Darwiche |
IJCAI | 1 |
| 2009 | Width-Based Restart Policies for Clause-Learning Satisfiability Solvers
Knot Pipatsrisawat, Adnan Darwiche |
SAT | 1 |
| 2008 | New Compilation Languages Based on Structured Decomposability
Knot Pipatsrisawat, Adnan Darwiche |
AAAI | 1 |
| 2008 | A New Clause Learning Scheme for Efficient Unsatisfiability Proofs
Knot Pipatsrisawat, Adnan Darwiche |
AAAI | 1 |
| 2008 | Efficient Genome Wide Tagging by Reduction to SAT
Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin |
WABI | 4 |
| 2007 | A Lightweight Component Caching Scheme for Satisfiability Solvers
Knot Pipatsrisawat, Adnan Darwiche |
SAT | 1 |