English
Related papers

Related papers: Geometric Characterization of Context-Free Interse…

200 papers

Despite significant advancements, Large Language Models (LLMs) exhibit blind spots that impair their ability to retrieve and process relevant contextual data effectively. We demonstrate that LLM performance in graph tasks with complexities…

Artificial Intelligence · Computer Science 2025-01-03 Hamed Firooz , Maziar Sanjabi , Wenlong Jiang , Xiaoling Zhai

A path in a vertex-colored graph is called {\it conflict-free} if there is a color used on exactly one of its vertices. A vertex-colored graph is said to be {\it conflict-free vertex-connected} if any two vertices of the graph are connected…

Combinatorics · Mathematics 2017-09-06 Zhenzhen Li , Baoyindureng Wu

The capacity of a relay channel with inter-symbol interference (ISI) and additive colored Gaussian noise is examined under an input power constraint. Prior results are used to show that the capacity of this channel can be computed by…

Information Theory · Computer Science 2011-03-02 Chiranjib Choudhuri , Urbashi Mitra

The intersection cut paradigm is a powerful framework that facilitates the generation of valid linear inequalities, or cutting planes, for a potentially complex set S. The key ingredients in this construction are a simplicial conic…

Optimization and Control · Mathematics 2019-12-02 Gonzalo Muñoz , Felipe Serrano

In random cellular systems, both observation and maximum entropy inference give a specific form to the topological pair correlation: it is bi-affine in the cells number of edges with coefficients depending on the distance between the two…

Soft Condensed Matter · Physics 2007-09-14 Faez Miri , Christophe Oguey

Homoclinic classes of generic $C^1$-diffeomorphisms are maximal transitive sets and pairwise disjoint. We here present a model explaining how two different homoclinic classes may intersect, failing to be disjoint. For that we construct a…

Dynamical Systems · Mathematics 2015-06-05 Lorenzo Diaz , Bianca Santoro

The contextuality of quantum mechanics, i.e. the measurement outcome dependence upon previously made measurements, can be shown by the violation of inequalities based on measurements of well chosen observables. An important property of such…

Quantum Physics · Physics 2017-03-16 A. Laversanne-Finot , A. Ketterer , M. R. Barros , S. P. Walborn , T. Coudreau , A. Keller , P. Milman

We study systematically cross sections of probability preserving actions of unimodular groups and their associated transverse measures, and introduce the invariant \emph{intersection covolume} to quantify their periodicity. Our main…

Dynamical Systems · Mathematics 2026-02-24 Nachi Avraham-Re'em , Michael Björklund , Rickard Cullman

We consider the problem of constructing prefix-free codes in which a designated symbol, a space, can only appear at the end of codewords. We provide a linear-time algorithm to construct almost-optimal codes with this property, meaning that…

Information Theory · Computer Science 2024-05-13 Roberto Bruno , Ugo Vaccaro

We initiate a complexity theoretic study of the language based graph reachability problem (L-REACH) : Fix a language L. Given a graph whose edges are labeled with alphabet symbols of the language L and two special vertices s and t, test if…

Computational Complexity · Computer Science 2017-01-13 Balagopal Komarath , Jayalal Sarma , K. S. Sunil

In-context learning (ICL) enables large language models (LLMs) to acquire new behaviors from the input sequence alone without any parameter updates. Recent studies have shown that ICL can surpass the original meaning learned in pretraining…

Machine Learning · Computer Science 2025-07-31 Yongyi Yang , Hidenori Tanaka , Wei Hu

The free volume comprised between rough surfaces in contact governs the fluid/gas transport properties across networks of cracks and the leakage/percolation phenomena in seals. In this study, a fundamental insight into the evolution of the…

Materials Science · Physics 2016-04-19 M. Paggi , Q. -C. He

We explore inflectional morphology as an example of the relationship of the discrete and the continuous in linguistics. The grammar requests a form of a lexeme by specifying a set of feature values, which corresponds to a corner M of a…

Computation and Language · Computer Science 2017-03-14 John Goldsmith , Eric Rosen

We show the surprising result that the cutpoint isolation problem is decidable for Probabilistic Finite Automata (PFA) where input words are taken from a letter-bounded context-free language. A context-free language $\mathcal{L}$ is…

Formal Languages and Automata Theory · Computer Science 2020-05-15 Paul C. Bell , Pavel Semukhin

A graph $G$ is a \emph{max point-tolerance (MPT)} graph if each vertex $v$ of $G$ can be mapped to a \emph{pointed-interval} $(I_v, p_v)$ where $I_v$ is an interval of $\mathbb{R}$ and $p_v \in I_v$ such that $uv$ is an edge of $G$ iff $I_u…

Context-dependence in human cognition process is a well-established fact. Following this, we introduced the image segmentation method that can use context to classify a pixel on the basis of its membership to a particular object-class of…

Computer Vision and Pattern Recognition · Computer Science 2012-02-10 Upendra Kumar , Tapobrata Lahiri , Manoj Kumar Pal

This paper shows that for the two-user Gaussian Interference Channel (G-IC) Treating Interference as Noise without Time Sharing (TINnoTS) achieves the closure of the capacity region to within either a constant gap, or to within a gap of the…

Information Theory · Computer Science 2015-06-09 Alex Dytso , Daniela Tuninetti , Natasha Devroye

A conflict-free $k$-coloring of a graph $G=(V,E)$ assigns one of $k$ different colors to some of the vertices such that, for every vertex $v$, there is a color that is assigned to exactly one vertex among $v$ and $v$'s neighbors. Such…

Computational Geometry · Computer Science 2017-09-13 Sándor P. Fekete , Phillip Keldenich

We study constraint satisfaction problems (CSPs) in the presence of counting quantifiers $\exists^{\geq j}$, asserting the existence of $j$ distinct witnesses for the variable in question. As a continuation of our previous (CSR 2012) paper,…

Logic in Computer Science · Computer Science 2013-12-31 Barnaby Martin , Juraj Stacho

Pumping lemmas are created to prove that given languages are not belong to certain language classes. There are several known pumping lemmas for the whole class and some special classes of the context-free languages. In this paper we prove…

Formal Languages and Automata Theory · Computer Science 2010-12-02 Géza Horváth , Benedek Nagy
‹ Prev 1 4 5 6 7 8 10 Next ›