English
Related papers

Related papers: Labelings for Decreasing Diagrams

200 papers

Diagram chasing is not an easy task. The coherence holds in a generalized sense if we have a mechanical method to judge whether given two morphisms are equal to each other. A simple way to this end is to reform a concerned category into a…

Logic in Computer Science · Computer Science 2020-10-09 Ryu Hasegawa

We propose an efficient linear-time graph-based divisive cluster analysis approach called Reductive Clustering. The approach tries to reveal the hierarchical structural information through reducing the graph into a more concise one…

Artificial Intelligence · Computer Science 2020-09-28 Ching Tarn , Yinan Zhang , Ye Feng

In this paper, we introduce a new approach for drawing diagrams that have applications in software visualization. Our approach is to use a technique we call confluent drawing for visualizing non-planar diagrams in a planar way. This…

Computational Geometry · Computer Science 2007-05-23 Matthew Dickerson , David Eppstein , Michael T. Goodrich , Jeremy Meng

We state a combinatorial optimization problem whose feasible solutions define both a decomposition and a node labeling of a given graph. This problem offers a common mathematical abstraction of seemingly unrelated computer vision tasks,…

Computer Vision and Pattern Recognition · Computer Science 2017-02-22 Evgeny Levinkov , Jonas Uhrig , Siyu Tang , Mohamed Omran , Eldar Insafutdinov , Alexander Kirillov , Carsten Rother , Thomas Brox , Bernt Schiele , Bjoern Andres

Local clustering aims at extracting a local structure inside a graph without the necessity of knowing the entire graph structure. As the local structure is usually small in size compared to the entire graph, one can think of it as a…

Machine Learning · Computer Science 2024-08-20 Zhaiming Shen , Ming-Jun Lai , Sheng Li

We study the question of ``how robust are the known lower bounds of labeling schemes when one increases the number of consulted labels''. Let $f$ be a function on pairs of vertices. An $f$-labeling scheme for a family of graphs $\cF$ labels…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Amos Korman , Shay Kutten

Let $F$ be a function on pairs of vertices. An {\em $F$- labeling scheme} is composed of a {\em marker} algorithm for labeling the vertices of a graph with short labels, coupled with a {\em decoder} algorithm allowing one to compute…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-08-31 Amos Korman

In many applications labeled data is not readily available, and needs to be collected via pain-staking human supervision. We propose a rule-exemplar method for collecting human supervision to combine the efficiency of rules with the quality…

Machine Learning · Computer Science 2020-05-18 Abhijeet Awasthi , Sabyasachi Ghosh , Rasna Goyal , Sunita Sarawagi

We introduce a novel algorithm for estimating optimal parameters of linearized assignment flows for image labeling. An exact formula is derived for the parameter gradient of any loss function that is constrained by the linear system of ODEs…

Machine Learning · Computer Science 2022-04-07 Alexander Zeilmann , Stefania Petra , Christoph Schnörr

In this extended abstract, we present a simple approach to convergence on term graphs that allows us to unify term graph rewriting and infinitary term rewriting. This approach is based on a partial order and a metric on term graphs. These…

Logic in Computer Science · Computer Science 2013-02-27 Patrick Bahr

Vision-language models (VLMs) have revolutionized machine learning by leveraging large pre-trained models to tackle various downstream tasks. Although label, training, and data efficiency have improved, many state-of-the-art VLMs still…

Computer Vision and Pattern Recognition · Computer Science 2025-03-03 Yushu Li , Yongyi Su , Adam Goodge , Kui Jia , Xun Xu

We study non-terminating graph rewriting models, whose local rules are applied non-deterministically -- and yet enjoy a strong form of determinism, namely space-time determinism. Of course in the case of terminating computation it is…

Discrete Mathematics · Computer Science 2024-10-08 Pablo Arrighi , Marin Costes , Gilles Dowek , Luidnel Maignan

In this paper, we show a connection between a certain online low-congestion routing problem and an online prediction of graph labeling. More specifically, we prove that if there exists a routing scheme that guarantees a congestion of…

Data Structures and Algorithms · Computer Science 2008-09-12 Jittat Fakcharoenphol , Boonserm Kijsirikul

We present a new perspective on the popular multi-class algorithmic techniques of one-vs-all and error correcting output codes. Rather than studying the behavior of these techniques for supervised learning, we establish a connection between…

Machine Learning · Computer Science 2016-11-28 Maria Florina Balcan , Travis Dick , Yishay Mansour

In this paper, we propose a new approach to design globally convergent reduced-order observers for nonlinear control systems via contraction analysis and convex optimization. Despite the fact that contraction is a concept naturally suitable…

Optimization and Control · Mathematics 2021-08-17 Bowen Yi , Ruigang Wang , Ian R. Manchester

Pretrained language models have improved zero-shot text classification by allowing the transfer of semantic knowledge from the training data in order to classify among specific label sets in downstream tasks. We propose a simple way to…

Computation and Language · Computer Science 2023-10-24 Lingyu Gao , Debanjan Ghosh , Kevin Gimpel

We prove local convergence results for the uniformly random, labelled or unlabelled, graphs from subcritical families. As an example special case, we prove Benjamini-Schramm convergence for the uniform random unlabelled tree. We introduce a…

Combinatorics · Mathematics 2016-11-28 Agelos Georgakopoulos , Stephan Wagner

Local clustering aims to identify specific substructures within a large graph without any additional structural information of the graph. These substructures are typically small compared to the overall graph, enabling the problem to be…

Machine Learning · Computer Science 2025-10-31 Zhaiming Shen , Sung Ha Kang

We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie…

Quantum Algebra · Mathematics 2014-10-01 Adam S. Sikora , Bruce W. Westbury

Label smoothing is a widely studied regularization technique in machine learning. However, its potential for node classification in graph-structured data, spanning homophilic to heterophilic graphs, remains largely unexplored. We introduce…

Machine Learning · Computer Science 2026-02-02 Jaeseung Heo , Moonjeong Park , Dongwoo Kim