中文
相关论文

相关论文: Syntactic Analysis by Local Grammars Automata: an …

200 篇论文

In this paper we present a fully lexicalized grammar formalism as a particularly attractive framework for the specification of natural language grammars. We discuss in detail Feature-based, Lexicalized Tree Adjoining Grammars (FB-LTAGs), a…

cmp-lg · 计算机科学 2008-02-03 B. Srinivas , Dania Egedi , Christy Doran , Tilman Becker

This paper analyzes the correctness of the subsumption algorithm used in CLASSIC, a description logic-based knowledge representation system that is being used in practical applications. In order to deal efficiently with individuals in…

人工智能 · 计算机科学 2009-09-25 A. Borgida , P. F. Patel-Schneider

This paper addresses issues in automated treebank construction. We show how standard part-of-speech tagging techniques extend to the more general problem of structural annotation, especially for determining grammatical functions and…

cmp-lg · 计算机科学 2008-02-03 Thorsten Brants , Wojciech Skut , Brigitte Krenn

Engelfriet and Vereijken have shown that linear graph grammars based on hyperedge replacement generate graph languages that can be considered as interpretations of regular string languages over typed symbols. In this paper we show that…

形式语言与自动机理论 · 计算机科学 2025-03-27 Frank Drewes , Berthold Hoffmann , Mark Minas

In this paper we are dealing with the issue of finding possibly short synchronizing words in automata with weight assigned to each letter in the alphabet $\Sigma$. First we discuss some complexity problems, and then we present new…

形式语言与自动机理论 · 计算机科学 2021-03-31 Jakub Ruszil

In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing ad infinitum a propositional event model from an initial…

计算机科学中的逻辑 · 计算机科学 2014-04-04 Guillaume Aucher , Bastien Maubert , Sophie Pinchinat

By using a small example, an analogy to photographic compression, and a simple visualization using heatmaps, we show that latent semantic analysis (LSA) is able to extract what appears to be semantic meaning of words from a set of documents…

计算与语言 · 计算机科学 2014-02-05 Jan Koeman , William Rea

Many interesting and useful symbolic computation algorithms manipulate mathematical expressions in mathematically meaningful ways. Although these algorithms are commonplace in computer algebra systems, they can be surprisingly difficult to…

计算机科学中的逻辑 · 计算机科学 2019-05-07 Jacques Carette , William M. Farmer

This article describes a very high-level language for clear description of distributed algorithms and optimizations necessary for generating efficient implementations. The language supports high-level control flows where complex…

编程语言 · 计算机科学 2021-10-07 Yanhong A. Liu , Scott D. Stoller , Bo Lin

We study ideal languages generated by a single word. We provide an algorithm to construct a strongly connected synchronizing automaton for which such a language serves as the language of synchronizing words. Also we present a compact…

形式语言与自动机理论 · 计算机科学 2013-04-12 Vladimir V. Gusev , Marina I. Maslennikova , Elena V. Pribavkina

Grading of examination papers is a hectic, time-labor intensive task and is often subjected to inefficiency and bias in checking. This research project is a primitive experiment in the automation of grading of theoretical answers written in…

机器学习 · 计算机科学 2020-04-21 Rahul Kr Chauhan , Ravinder Saharan , Siddhartha Singh , Priti Sharma

Large Language Models (LLMs) perform best with well-crafted prompts, yet prompt engineering remains manual, inconsistent, and inaccessible to non-experts. We introduce Promptomatix, an automatic prompt optimization framework that transforms…

计算与语言 · 计算机科学 2025-07-28 Rithesh Murthy , Ming Zhu , Liangwei Yang , Jielin Qiu , Juntao Tan , Shelby Heinecke , Caiming Xiong , Silvio Savarese , Huan Wang

In essence, embedding algorithms work by optimizing the distance between a word and its usual context in order to generate an embedding space that encodes the distributional representation of words. In addition to single words or word…

计算与语言 · 计算机科学 2021-04-14 Andres Garcia-Silva , Ronald Denaux , Jose Manuel Gomez-Perez

We present a theoretical framework for the compression of automata, which are widely used in speech processing and other natural language processing tasks. The framework extends to graph compression. Similar to stationary ergodic processes,…

信息论 · 计算机科学 2015-02-26 Mehryar Mohri , Michael Riley , Ananda Theertha Suresh

In Automatic Text Summarization, preprocessing is an important phase to reduce the space of textual representation. Classically, stemming and lemmatization have been widely used for normalizing words. However, even using normalization on…

信息检索 · 计算机科学 2012-09-17 Juan-Manuel Torres-Moreno

A recent paper by Drewes, Hoffmann, and Minas (GCM 2023 proceedings) has shown that certain graph languages can be defined and efficiently recognized by finite automata when strings over typed symbols are interpreted as graphs. This…

形式语言与自动机理论 · 计算机科学 2025-03-27 Mattia De Rosa , Mark Minas

We present an algorithm for regular expression parsing and submatch extraction based on tagged deterministic finite automata. The algorithm works with different disambiguation policies. We give detailed pseudocode for the algorithm,…

形式语言与自动机理论 · 计算机科学 2026-03-31 Angelo Borsotti , Ulya Trafimovich

Neural networks trained on natural language processing tasks capture syntax even though it is not provided as a supervision signal. This indicates that syntactic analysis is essential to the understating of language in artificial…

计算与语言 · 计算机科学 2020-10-05 Tomasz Limisiewicz , David Mareček

The grammars of natural languages may be learned by using genetic algorithms that reproduce and mutate grammatical rules and part-of-speech tags, improving the quality of later generations of grammatical components. Syntactic rules are…

cmp-lg · 计算机科学 2008-02-03 Robert M. Losee

Inspired by distributed algorithms, we introduce a new class of finite graph automata that recognize precisely the graph languages definable in monadic second-order logic. For the cases of words and trees, it has been long known that the…

形式语言与自动机理论 · 计算机科学 2014-04-28 Fabian Reiter