English
Related papers

Related papers: Dynamic Complexity of Document Spanners

200 papers

Speculative decoding is an effective technique for accelerating large language model inference by drafting multiple tokens in parallel. In practice, its speedup is often bottlenecked by a rigid verification step that strictly enforces the…

Computation and Language · Computer Science 2026-04-10 Ziyi Wang , Siva Rajesh Kasa , Ankith M S , Santhosh Kumar Kasa , Jiaru Zou , Sumit Negi , Ruqi Zhang , Nan Jiang , Qifan Song

Pre-trained diffusion models have demonstrated remarkable proficiency in synthesizing images across a wide range of scenarios with customizable prompts, indicating their effective capacity to capture universal features. Motivated by this,…

Computer Vision and Pattern Recognition · Computer Science 2024-11-22 Yuxiang Ji , Boyong He , Chenyuan Qu , Zhuoyue Tan , Chuan Qin , Liaoni Wu

With the rise of short video content, efficient video summarization techniques for extracting key information have become crucial. However, existing methods struggle to capture the global temporal dependencies and maintain the semantic…

Computer Vision and Pattern Recognition · Computer Science 2025-08-22 Wenrui Li , Wei Han , Liang-Jian Deng , Ruiqin Xiong , Xiaopeng Fan

The growing complexity of legal cases has lead to an increasing interest in legal information retrieval systems that can effectively satisfy user-specific information needs. However, such downstream systems typically require documents to be…

Computation and Language · Computer Science 2021-05-18 Dennis Aumiller , Satya Almasian , Sebastian Lackner , Michael Gertz

Embedding large graphs in low dimensional spaces has recently attracted significant interest due to its wide applications such as graph visualization, link prediction and node classification. Existing methods focus on computing the…

Social and Information Networks · Computer Science 2018-05-30 Palash Goyal , Nitin Kamra , Xinran He , Yan Liu

This paper argues that the judicial use of formal language theory and grammatical inference are invaluable tools in understanding how deep neural networks can and cannot represent and learn long-term dependencies in temporal sequences.…

Computation and Language · Computer Science 2017-10-17 Enes Avcu , Chihiro Shibata , Jeffrey Heinz

In this paper a new dynamic subsumption technique for Boolean CNF formulae is proposed. It exploits simple and sufficient conditions to detect during conflict analysis, clauses from the original formula that can be reduced by subsumption.…

Artificial Intelligence · Computer Science 2009-04-02 Youssef Hamadi , Said Jabbour , Lakhdar Sais

We investigate structural complexity measures on digraphs, in particular the cycle rank. This concept is intimately related to a classical topic in formal language theory, namely the star height of regular languages. We explore this…

Discrete Mathematics · Computer Science 2013-04-17 Hermann Gruber

It is well-known that the cohomology ring has a richer structure than homology groups. However, until recently, the use of cohomology in persistence setting has been limited to speeding up of barcode computations. Some of the recently…

Computational Geometry · Computer Science 2024-03-19 Tamal K. Dey , Abhishek Rathod

Pre-training text representations have led to significant improvements in many areas of natural language processing. The quality of these models benefits greatly from the size of the pretraining corpora as long as its quality is preserved.…

Computation and Language · Computer Science 2019-11-18 Guillaume Wenzek , Marie-Anne Lachaux , Alexis Conneau , Vishrav Chaudhary , Francisco Guzmán , Armand Joulin , Edouard Grave

Graphs arise naturally in many real-world applications including social networks, recommender systems, ontologies, biology, and computational finance. Traditionally, machine learning models for graphs have been mostly designed for static…

Machine Learning · Computer Science 2020-04-28 Seyed Mehran Kazemi , Rishab Goel , Kshitij Jain , Ivan Kobyzev , Akshay Sethi , Peter Forsyth , Pascal Poupart

Structured documents analysis and recognition are essential for modern online on-boarding processes, and document localization is a crucial step to achieve reliable key information extraction. While deep-learning has become the standard…

Computer Vision and Pattern Recognition · Computer Science 2023-10-03 Anastasiia Kabeshova , Guillaume Betmont , Julien Lerouge , Evgeny Stepankevich , Alexis Bergès

For a terminal alphabet $\Sigma$ and an attribute alphabet $\Gamma$, a $(\Sigma, \Gamma)$-extractor is a function that maps every string over $\Sigma$ to a table with a column per attribute and with sets of positions of $w$ as cell entries.…

Formal Languages and Automata Theory · Computer Science 2026-03-18 Markus L. Schmid

Graph databases in many applications---semantic web, transport or biological networks among others---are not only large, but also frequently modified. Evaluating graph queries in this dynamic context is a challenging task, as those queries…

Logic in Computer Science · Computer Science 2015-12-18 Pablo Muñoz , Nils Vortmeier , Thomas Zeume

Perturbative treatments of the lattice dynamics are widely successful for many crystalline materials, their applicability is, however, limited for strongly anharmonic systems, metastable crystal structures and liquids. The full dynamics of…

Materials Science · Physics 2023-10-10 Erik Fransson , Mattias Slabanja , Paul Erhart , Göran Wahnström

Selective attention helps us focus on task-relevant aspects in the constant flood of our sensory input. This constraint in our perception allows us to robustly generalize under distractions and to new compositions of perceivable concepts.…

Computer Vision and Pattern Recognition · Computer Science 2024-09-17 Ankit Vani , Bac Nguyen , Samuel Lavoie , Ranjay Krishna , Aaron Courville

Speculative decoding has become the standard approach for accelerating Large Language Model (LLM) inference. It exploits a lossless draft-then-verify procedure to circumvent the latency of autoregressive decoding, achieving impressive…

Computation and Language · Computer Science 2025-11-05 Jameson Sandler , Jacob K. Christopher , Thomas Hartvigsen , Ferdinando Fioretto

Extracting coherent patterns is one of the standard approaches towards understanding spatio-temporal data. Dynamic mode decomposition (DMD) is a powerful tool for extracting coherent patterns, but the original DMD and most of its variants…

Machine Learning · Computer Science 2021-02-22 Naoya Takeishi , Keisuke Fujii , Koh Takeuchi , Yoshinobu Kawahara

Learning complex network dynamics is fundamental for understanding, modeling, and controlling real-world complex systems. Though great efforts have been made to predict the future states of nodes on networks, the capability of capturing…

Social and Information Networks · Computer Science 2025-03-04 Ruikun Li , Huandong Wang , Jinghua Piao , Qingmin Liao , Yong Li

Dynamical systems are abstract models of interaction between space and time. They are often used in fields such as physics and engineering to understand complex processes, but due to their general nature, they have found applications for…

Logic · Mathematics 2023-06-01 David Fernández-Duque , Yoàv Montacute