Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Knot Pipatsrisawat

dblp:08/829 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking › satisfiability
SAT solving
0.222011
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.222009
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.112011
On the power of clause-learning SAT solvers as resolution engines · Artif. Intell. 2011
Bioinformatics and computational biology
genomics
0.112010
Optimal algorithms for haplotype assembly from whole-genome sequence data · Bioinform. 2010
Bioinformatics and computational biology › genomics
haplotype inference
0.112010
Optimal algorithms for haplotype assembly from whole-genome sequence data · Bioinform. 2010
Knowledge, reasoning and agents › Knowledge representation and reasoning
probabilistic reasoning
0.112009
A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT · IJCAI 2009
Automated reasoning and model checking › knowledge compilation
d-DNNF
0.112009
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.112008
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs · AAAI 2008
Automated reasoning and model checking › satisfiability › SAT solving
unsatisfiability proofs
0.112008
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs · AAAI 2008
Bioinformatics and computational biology › statistical genetics › haplotype analysis
haplotype phasing
0.012010
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
YearPublicationVenuePosition
2020 Crowdsourcing Latin American Spanish for Low-Resource Text-to-Speech
abstract
In 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
LREC6
2020 Open-source Multi-speaker Speech Corpora for Building Gujarati, Kannada, Malayalam, Marathi, Tamil and Telugu Speech Synthesis Systems
abstract
We 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
LREC11
2020 Burmese Speech Corpus, Finite-State Text Normalization and Pronunciation Grammars with an Application to Text-to-Speech
abstract
This 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
LREC6
2018 Voice Builder: A Tool for Building Text-To-Speech Voices
Pasindu De Silva, Theeraphol Wattanavekin, Tang Hao, Knot Pipatsrisawat
LREC4
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
LREC4
2016 TTS for Low Resource Languages: A Bangla Synthesizer
Alexander Gutkin, Linne Ha, Martin Jansche, Knot Pipatsrisawat, Richard Sproat
LREC4
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
ECAI1
2010 On Decomposability and Interaction Functions
Knot Pipatsrisawat, Adnan Darwiche
ECAI1
2010 Optimal algorithms for haplotype assembly from whole-genome sequence data
abstract
MOTIVATION: 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
CP1
2009 A New d-DNNF-Based Bound Computation Algorithm for Functional E-MAJSAT
Knot Pipatsrisawat, Adnan Darwiche
IJCAI1
2009 Width-Based Restart Policies for Clause-Learning Satisfiability Solvers
Knot Pipatsrisawat, Adnan Darwiche
SAT1
2008 New Compilation Languages Based on Structured Decomposability
Knot Pipatsrisawat, Adnan Darwiche
AAAI1
2008 A New Clause Learning Scheme for Efficient Unsatisfiability Proofs
Knot Pipatsrisawat, Adnan Darwiche
AAAI1
2008 Efficient Genome Wide Tagging by Reduction to SAT
Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin
WABI4
2007 A Lightweight Component Caching Scheme for Satisfiability Solvers
Knot Pipatsrisawat, Adnan Darwiche
SAT1