English
Related papers

Related papers: Geometric Characterization of Context-Free Interse…

200 papers

In-context Learning (ICL) is an emerging few-shot learning paradigm on Language Models (LMs) with inner mechanisms un-explored. There are already existing works describing the inner processing of ICL, while they struggle to capture all the…

Computation and Language · Computer Science 2025-02-21 Hakaze Cho , Mariko Kato , Yoshihiro Sakai , Naoya Inoue

For any context-free grammar, we build a transition diagram, that is, a finite directed graph with labeled arcs, which describes the work of the grammar. This approach is new, and it is different from previously known graph models. We…

Formal Languages and Automata Theory · Computer Science 2013-05-30 Krasimir Yordzhev

This paper is a continuation of a previous study on the so-called measure once finite quantum automata model introduced by Moore and Crutchfield in 2000. We investigate conditions assuring that, given a language recognized by such a device…

Formal Languages and Automata Theory · Computer Science 2025-07-16 Andrea Benso , Flavio D'Alessandro , Paolo Papi

Yamakami [2011, Theoret. Comput. Sci.] studies context-free languages with advice functions. Here, the length of an advice is assumed to be the same as that of an input. Let CFL and CFL/n denote the class of all context-free languages and…

Formal Languages and Automata Theory · Computer Science 2015-02-03 Toshio Suzuki

We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topology, which have recently found numerous applications. Such…

Formal Languages and Automata Theory · Computer Science 2019-03-14 Pablo Barcelo , Diego Figueira , Leonid Libkin

In FOCS'2002, Even et al. introduced and studied the notion of conflict-free colorings of geometrically defined hypergraphs. They motivated it by frequency assignment problems in cellular networks. This notion has been extensively studied…

Combinatorics · Mathematics 2017-04-10 Chaya Keller , Shakhar Smorodinsky

Connected and automated vehicles have shown great potential in improving traffic mobility and reducing emissions, especially at unsignalized intersections. Previous research has shown that vehicle passing order is the key influencing factor…

Robotics · Computer Science 2022-04-29 Chaoyi Chen , Qing Xu , Mengchi Cai , Jiawei Wang , Jianqiang Wang , Biao Xu , Keqiang Li

A geographic network is a graph whose vertices are restricted to lie in a prescribed region in the plane. In this paper we begin to study the following fundamental problem for geographic networks: can a given geographic network be drawn…

Computational Geometry · Computer Science 2023-06-22 Rodrigo I. Silveira , Bettina Speckmann , Kevin Verbeek

We consider the problem of learning an unknown context-free grammar when the only knowledge available and of interest to the learner is about its structural descriptions with depth at most $\ell.$ The goal is to learn a cover context-free…

Formal Languages and Automata Theory · Computer Science 2014-04-10 Mircea Marin , Gabriel Istrate

We study the geometry of dynamically defined Cantor sets in arbitrary dimensions, introducing a criterion for $\mathcal{C}^{1+\alpha}$ stable intersections of such Cantor sets, under a mild bunching condition. This condition is naturally…

Dynamical Systems · Mathematics 2026-02-19 Meysam Nassiri , Mojtaba Zareh Bidaki

We compare level-set percolation for Gaussian free fields (GFFs) defined on a rectangular subset of $\delta \mathbb{Z}^2$ to level-set percolation for GFFs defined on the corresponding metric graph as the mesh size $\delta$ goes to 0. In…

Probability · Mathematics 2020-01-20 Jian Ding , Mateo Wirth , Hao Wu

For Boolean satisfiability problems, the structure of the solution space is characterized by the solution graph, where the vertices are the solutions, and two solutions are connected iff they differ in exactly one variable. Motivated by…

Computational Complexity · Computer Science 2015-10-26 Konrad W. Schwerdtfeger

Regular path queries (RPQs) select nodes connected by some path in a graph. The edge labels of such a path have to form a word that matches a given regular expression. We investigate the evaluation of RPQs with an additional constraint that…

Databases · Computer Science 2013-01-01 Guillaume Bagan , Angela Bonifati , Benoit Groz

The intersection graph $\Delta_G$ of a finite group $G$ is a simple graph with vertices the non-trivial proper subgroups of $G$, and an edge between two vertices if their corresponding subgroups intersect non-trivially. These graphs were…

Group Theory · Mathematics 2024-03-21 Melissa Lee , Kamilla Rekvényi

In-context learning is a surprising and important phenomenon that emerged when modern language models were scaled to billions of learned parameters. Without modifying a large language model's weights, it can be tuned to perform various…

Computation and Language · Computer Science 2023-03-15 Noam Wies , Yoav Levine , Amnon Shashua

Functionality is a graph complexity measure that extends a variety of parameters, such as vertex degree, degeneracy, clique-width, or twin-width. In the present paper, we show that functionality is bounded for box intersection graphs in…

Combinatorics · Mathematics 2025-01-15 Clément Dallard , Vadim Lozin , Martin Milanič , Kenny Štorgel , Viktor Zamaraev

High-resolution image segmentation remains challenging and error-prone due to the enormous size of intermediate feature maps. Conventional methods avoid this problem by using patch based approaches where each patch is segmented…

Computer Vision and Pattern Recognition · Computer Science 2021-08-27 Fahim Faisal Niloy , M. Ashraful Amin , Amin Ahsan Ali , AKM Mahbubur Rahman

In the following paper, we present a simple method for sampling trees with or without replacement from BCFLs. A BCFL is a context-free language (CFL) corresponding to an incomplete string with holes, which can be completed by valid…

Formal Languages and Automata Theory · Computer Science 2024-08-13 Breandan Considine

This paper proposes a new indicator of text structure, called the lexical cohesion profile (LCP), which locates segment boundaries in a text. A text segment is a coherent scene; the words in a segment are linked together via lexical…

cmp-lg · Computer Science 2008-02-03 Hideki Kozima

Quantum measurements cannot be thought of as revealing preexisting results, even when they do not disturb any other measurement in the same trial. This feature is called contextuality and is crucial for the quantum advantage in computing.…