English
Related papers

Related papers: Recursive Distinctioning

200 papers

Color Refinement, also known as Naive Vertex Classification, is a classical method to distinguish graphs by iteratively computing a coloring of their vertices. While it is mainly used as an imperfect way to test for isomorphism, the…

Data Structures and Algorithms · Computer Science 2026-02-05 Benjamin Scheidt , Nicole Schweikardt

I introduce a formalism for representing the syntax of recursively structured graph-like patterns. It does not use production rules, like a conventional graph grammar, but represents the syntactic structure in a more direct and declarative…

Formal Languages and Automata Theory · Computer Science 2025-04-25 Peter Fletcher

Reasoning tasks are crucial in many domains, especially in science and engineering. Although large language models (LLMs) have made progress in reasoning tasks using techniques such as chain-of-thought and least-to-most prompting, these…

Artificial Intelligence · Computer Science 2025-05-06 Sergio Hernández-Gutiérrez , Minttu Alakuijala , Alexander V. Nikitin , Pekka Marttinen

Unsupervised industrial anomaly detection requires accurately identifying defects without labeled data. Traditional autoencoder-based methods often struggle with incomplete anomaly suppression and loss of fine details, as their single-pass…

Computer Vision and Pattern Recognition · Computer Science 2025-12-15 Rongcheng Wu , Hao Zhu , Shiying Zhang , Mingzhe Wang , Zhidong Li , Hui Li , Jianlong Zhou , Jiangtao Cui , Fang Chen , Pingyang Sun , Qiyu Liao , Ye Lin

We study a new type of sequences whose elements are defined in terms of the position, sign and magnitude of another element of the sequence. The name ultra-recursive comes from the fact that these sequences possess terms that are generated…

General Mathematics · Mathematics 2019-02-06 Óscar Andrés Ram. Ramírez

We study the first order theory of structures over graphs i.e. structures of the form ($\mathcal{G},\tau$) where $\mathcal{G}$ is the set of all (isomorphism types of) finite undirected graphs and $\tau$ some vocabulary. We define the…

Logic in Computer Science · Computer Science 2023-06-22 Ramanathan S. Thinniyam

Recently, deep architectures, such as recurrent and recursive neural networks have been successfully applied to various natural language processing tasks. Inspired by bidirectional recurrent neural networks which use representations that…

Machine Learning · Computer Science 2013-12-03 Ozan İrsoy , Claire Cardie

We propose a general multi-class visual recognition model, termed the Classifier Graph, which aims to generalize and integrate ideas from many of today's successful hierarchical recognition approaches. Our graph-based model has the…

Computer Vision and Pattern Recognition · Computer Science 2014-04-11 Marius Leordeanu , Rahul Sukthankar

By adopting a citation-based recursive ranking method for patents the evolution of new fields of technology can be traced. Specifically, it is demonstrated that the laser / inkjet printer technology emerged from the recombination of two…

Digital Libraries · Computer Science 2016-02-26 Péter Bruck , István Réthy , Judit Szente , Jan Tobochnik , Péter Érdi

Image recognition is a classic and common task in the computer vision field, which has been widely applied in the past decade. Most existing methods in literature aim to learn discriminative features from labeled images for classification,…

Computer Vision and Pattern Recognition · Computer Science 2023-09-26 Jiayin Sun , Hong Wang , Qiulei Dong

Intelligence-biological, artificial, or collective-requires structural coherence across recursive reasoning processes to scale effectively. As complex systems grow, coherence becomes fragile unless a higher-order structure ensures semantic…

Artificial Intelligence · Computer Science 2025-07-23 Andy E. Williams

Layout is a fundamental component of any graphic design. Creating large varieties of plausible document layouts can be a tedious task, requiring numerous constraints to be satisfied, including local ones relating different semantic elements…

Computer Vision and Pattern Recognition · Computer Science 2020-04-20 Akshay Gadi Patil , Omri Ben-Eliezer , Or Perel , Hadar Averbuch-Elor

We study recursive-cube-of-rings (RCR), a class of scalable graphs that can potentially provide rich inter-connection network topology for the emerging distributed and parallel computing infrastructure. Through rigorous proof and validating…

Geometric Topology · Mathematics 2013-05-13 Kai Xie , Jing Li , Yumei Wang , Chau Yuen

Automatic differentiation (AD) in reverse mode (RAD) is a central component of deep learning and other uses of large-scale optimization. Commonly used RAD algorithms such as backpropagation, however, are complex and stateful, hindering deep…

Programming Languages · Computer Science 2018-10-03 Conal Elliott

Differential computation (DC) is a highly general incremental computation/view maintenance technique that can maintain the output of an arbitrary and possibly recursive dataflow computation upon changes to its base inputs. As such, it is a…

Databases · Computer Science 2022-08-02 Khaled Ammar , Siddhartha Sahu , Semih Salihoglu , M. Tamer Ozsu

The ResNet architecture has been widely adopted in deep learning due to its significant boost to performance through the use of simple skip connections, yet the underlying mechanisms leading to its success remain largely unknown. In this…

Machine Learning · Computer Science 2024-01-18 Jianing Li , Vardan Papyan

A novel strategy to automated classification is introduced which exploits a fully trained dynamical system to steer items belonging to different categories toward distinct asymptotic attractors. These latter are incorporated into the model…

Disordered Systems and Neural Networks · Physics 2023-02-01 Lorenzo Chicchi , Duccio Fanelli , Lorenzo Giambagli , Lorenzo Buffoni , Timoteo Carletti

We generalize regular subdivisions (polyhedral complexes resulting from the projection of the lower faces of a polyhedron) introducing the class of recursively-regular subdivisions. Informally speaking, a recursively-regular subdivision is…

Computational Geometry · Computer Science 2017-11-20 Rafel Jaume , Günter Rote

Understanding and predicting the evolution of across complex systems remains a fundamental challenge due to the absence of unified and computationally testable frameworks. Here we propose the Recursive Hierarchical Network(RHN),…

Physics and Society · Physics 2026-05-20 Hui Li , Yanxin Li

Compositional generalization is a troubling blind spot for neural language models. Recent efforts have presented techniques for improving a model's ability to encode novel combinations of known inputs, but less work has focused on…

Computation and Language · Computer Science 2022-02-21 Matthew Setzler , Scott Howland , Lauren Phillips
‹ Prev 1 2 3 10 Next ›