中文
相关论文

相关论文: Fast Context-Free Grammar Parsing Requires Fast Bo…

200 篇论文

Gaussian processes (GPs) are crucial in machine learning for quantifying uncertainty in predictions. However, their associated covariance matrices, defined by kernel functions, are typically dense and large-scale, posing significant…

机器学习 · 计算机科学 2025-04-02 Theresa Wagner , Tianshi Xu , Franziska Nestler , Yuanzhe Xi , Martin Stoll

We show how a general grammar may be automatically adapted for fast parsing of utterances from a specific domain by means of constituent pruning and grammar specialization based on explanation-based learning. These methods together give an…

cmp-lg · 计算机科学 2008-02-03 Manny Rayner , David Carter

The problem of identifying a probabilistic context free grammar has two aspects: the first is determining the grammar's topology (the rules of the grammar) and the second is estimating probabilistic weights for each rule. Given the hardness…

形式语言与自动机理论 · 计算机科学 2021-03-10 Dolav Nitay , Dana Fisman , Michal Ziv-Ukelson

Fast algorithms for integer and polynomial multiplication play an important role in scientific computing as well as in other disciplines. In 1971, Sch{\"o}nhage and Strassen designed an algorithm that improved the multiplication time for…

符号计算 · 计算机科学 2018-11-06 Sviatoslav Covanov , Davood Mohajerani , Marc Moreno-Maza , Lin-Xiao Wang

We study the problem of computing the probability that a given stochastic context-free grammar (SCFG), G, generates a string in a given regular language L(D) (given by a DFA, D). This basic problem has a number of applications in…

形式语言与自动机理论 · 计算机科学 2013-02-27 Kousha Etessami , Alistair Stewart , Mihalis Yannakakis

The communication cost of algorithms (also known as I/O-complexity) is shown to be closely related to the expansion properties of the corresponding computation graphs. We demonstrate this on Strassen's and other fast matrix multiplication…

数据结构与算法 · 计算机科学 2011-09-12 Grey Ballard , James Demmel , Olga Holtz , Oded Schwartz

Boolean matrix factorization is a natural and a popular technique for summarizing binary matrices. In this paper, we study a problem of Boolean matrix factorization where we additionally require that the factor matrices have consecutive…

数据结构与算法 · 计算机科学 2019-05-16 Nikolaj Tatti , Pauli Miettinen

Probabilistic context-free grammars (PCFGs), which are commonly used to generate trees randomly, have been well analyzed theoretically, leading to applications in various domains. Despite their utility, the distributions that the grammar…

无序系统与神经网络 · 物理学 2024-08-30 Kai Nakaishi , Koji Hukushima

One fundamental question in database theory is the following: Given a Boolean conjunctive query Q, what is the best complexity for computing the answer to Q in terms of the input database size N? When restricted to the class of…

数据库 · 计算机科学 2025-03-27 Mahmoud Abo-Khamis , Xiao Hu , Dan Suciu

How much data is required to learn the structure of a language via next-token prediction? We study this question for synthetic datasets generated via a Probabilistic Context-Free Grammar (PCFG) -- a tree-like generative model that captures…

计算与语言 · 计算机科学 2024-10-30 Francesco Cagnetta , Matthieu Wyart

The algebraic degree of Boolean functions (or vectorial Boolean functions) is an important cryptographic parameter that should be computed by fast algorithms. They work in two main ways: (1) by computing the algebraic normal form and then…

密码学与安全 · 计算机科学 2020-07-03 Valentin Bakoev

We provide an algorithm for deciding simple grammar bisimilarity whose complexity is polynomial in the valuation of the grammar (maximum seminorm among production rules). Since the valuation is at most exponential in the size of the…

形式语言与自动机理论 · 计算机科学 2026-05-11 Diogo Poças , Gil Silva , Vasco T. Vasconcelos

Neural language models (NLMs) have recently gained a renewed interest by achieving state-of-the-art performance across many natural language processing (NLP) tasks. However, NLMs are very computationally demanding largely due to the…

计算与语言 · 计算机科学 2018-06-13 Minjia Zhang , Xiaodong Liu , Wenhan Wang , Jianfeng Gao , Yuxiong He

This paper describes the use of Naive Bayes to address the task of assigning function tags and context free grammar (CFG) to parse Myanmar sentences. Part of the challenge of statistical function tagging for Myanmar sentences comes from the…

计算与语言 · 计算机科学 2012-05-09 Win Win Thant , Tin Myat Htwe , Ni Lar Thein

Efficient matrix determinant calculations have been studied since the 19th century. Computers expand the range of determinants that are practically calculable to include matrices with symbolic entries. However, the fastest determinant…

符号计算 · 计算机科学 2013-04-18 Tanya Khovanova , Ziv Scully

In formal logic-based approaches to Recognizing Textual Entailment (RTE), a Combinatory Categorial Grammar (CCG) parser is used to parse input premises and hypotheses to obtain their logical formulas. Here, it is important that the parser…

计算与语言 · 计算机科学 2018-04-20 Masashi Yoshikawa , Koji Mineshima , Hiroshi Noji , Daisuke Bekki

Are multimodal inputs necessary for grammar induction? Recent work has shown that multimodal training inputs can improve grammar induction. However, these improvements are based on comparisons to weak text-only baselines that were trained…

Multiplication is one of the most fundamental computational problems, yet its true complexity remains elusive. The best known upper bound, by F\"{u}rer, shows that two $n$-bit numbers can be multiplied via a boolean circuit of size $O(n \lg…

数据结构与算法 · 计算机科学 2019-03-01 Peyman Afshani , Casper Benjamin Freksen , Lior Kamma , Kasper Green Larsen

Large Language Models are powerful tools for program synthesis and advanced auto-completion, but come with no guarantee that their output code is syntactically correct. This paper contributes an incremental parser that allows early…

编程语言 · 计算机科学 2024-09-06 Daniel Melcer , Nathan Fulton , Sanjay Krishna Gouda , Haifeng Qian

The quantum query complexity of Boolean matrix multiplication is typically studied as a function of the matrix dimension, n, as well as the number of 1s in the output, \ell. We prove an upper bound of O (n\sqrt{\ell}) for all values of…

量子物理 · 物理学 2014-12-17 Stacey Jeffery , Robin Kothari , Frédéric Magniez