English
Related papers

Related papers: Oriented Straight Line Segment Algebra: Qualitativ…

200 papers

DBSCAN and OPTICS are powerful algorithms for identifying clusters of points in domains where few assumptions can be made about the structure of the data. In this paper, we leverage these strengths and introduce a new algorithm, LINSCAN,…

Machine Learning · Computer Science 2026-04-15 Andrew Dennehy , Xiaoyu Zou , Shabnam J. Semnani , Yuri Fialko , Alexander Cloninger

Dynamic logic is a powerful approach to reasoning about programs and their executions, obtained by extending classical logic with modalities that can express program executions as formulas. However, the use of dynamic logic in the setting…

Logic in Computer Science · Computer Science 2026-04-14 Matteo Acclavio , Fabrizio Montesi , Marco Peressotti

We review some recent results in digital geometry obtained by using a combinatorics on words approach to discrete geometry. Motivated on the one hand by the well-known theory of Sturmian words which model conveniently discrete lines in the…

Computational Geometry · Computer Science 2011-08-19 Srečko Brlek

Dependency trees have proven to be a very successful model to represent the syntactic structure of sentences of human languages. In these structures, vertices are words and edges connect syntactically-dependent words. The tendency of these…

Computation and Language · Computer Science 2024-03-05 Lluís Alemany-Puig , Ramon Ferrer-i-Cancho

Calculus and geometry are ubiquitous in the theoretical modelling of scientific phenomena, but have historically been very challenging to apply directly to real data as statistics. Diffusion geometry is a new theory that reformulates…

Differential Geometry · Mathematics 2026-02-09 Iolo Jones , David Lanners

Many large-scale constrained optimization problems can be formulated as bilevel distributed optimization tasks over undirected networks, where agents collaborate to minimize a global cost function while adhering to constraints, relying only…

Optimization and Control · Mathematics 2025-11-25 Ajay Tak , Mayank Baranwal

Density based spatial clustering of points in $\mathbb{R}^n$ has a myriad of applications in a variety of industries. We generalise this problem to the density based clustering of lines in high-dimensional spaces, keeping in mind there…

Machine Learning · Computer Science 2024-10-04 Akanksha Das , Malay Bhattacharyya

We generalize the technique of [Solving Dirichlet boundary-value problems on curved domains by extensions from subdomains, SIAM J. Sci. Comput. 34, pp. A497--A519 (2012)] to elliptic problems with mixed boundary conditions and elliptic…

Numerical Analysis · Mathematics 2015-11-24 Weifeng Qiu , Manuel Solano , Patrick Vega

This note studies numerical methods for solving compositional optimization problems, where the inner function is smooth, and the outer function is Lipschitz continuous, non-smooth, and non-convex but exhibits one of two special structures…

Optimization and Control · Mathematics 2024-11-22 Yao Yao , Qihang Lin , Tianbao Yang

This paper studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs), a.k.a. (Ordinary) Difference Equations. It presents a new framework using these equations as a central tool for computation and…

Logic in Computer Science · Computer Science 2022-09-27 Olivier Bournez , Arnaud Durand

Traditional clustering methods often perform clustering with low-level indiscriminative representations and ignore relationships between patterns, resulting in slight achievements in the era of deep learning. To handle this problem, we…

Machine Learning · Computer Science 2019-05-07 Jianlong Chang , Yiwen Guo , Lingfeng Wang , Gaofeng Meng , Shiming Xiang , Chunhong Pan

Strict partial order is a mathematical structure commonly seen in relational data. One obstacle to extracting such type of relations at scale is the lack of large-scale labels for building effective data-driven solutions. We develop an…

Machine Learning · Computer Science 2018-01-22 Chen Liang , Jianbo Ye , Han Zhao , Bart Pursel , C. Lee Giles

Given a point set $P$ in a metric space and a real number $t \geq 1$, an \emph{oriented $t$-spanner} is an oriented graph $\overrightarrow{G}=(P,\overrightarrow{E})$, where for every pair of distinct points $p$ and $q$ in $P$, the shortest…

Computational Geometry · Computer Science 2024-12-12 Kevin Buchin , Antonia Kalb , Anil Maheshwari , Saeed Odak , Michiel Smid , Carolin Rehs , Sampson Wong

We consider moduli spaces of dynamical systems of correspondences over the projective line as a generalization of moduli spaces of dynamical systems of endomorphisms on the projective line. We obtain the rationality of the moduli spaces.…

Dynamical Systems · Mathematics 2021-09-15 Rin Gotou

Articulated objects are pervasive in daily life. However, due to the intrinsic high-DoF structure, the joint states of the articulated objects are hard to be estimated. To model articulated objects, two kinds of shape deformations namely…

Computer Vision and Pattern Recognition · Computer Science 2021-12-15 Han Xue , Liu Liu , Wenqiang Xu , Haoyuan Fu , Cewu Lu

We present an explicit formula for the orthogonal projection onto the subspace of analytic polynomials of degree at most $n$ in the local Dirichlet space $D_\mu$ , where the positive measure $\mu$ consists of a finite number of Dirac…

Complex Variables · Mathematics 2026-01-06 Emmanuel Fricain , Javad Mashreghi

Biclustering involves the simultaneous clustering of objects and their attributes, thus defining local two-way clustering models. Recently, efficient algorithms were conceived to enumerate all biclusters in real-valued datasets. In this…

Machine Learning · Computer Science 2015-06-04 Saullo Haniell Galvão de Oliveira , Rosana Veroneze , Fernando José Von Zuben

With the recent success of pre-trained models in NLP, a significant focus was put on interpreting their representations. One of the most prominent approaches is structural probing (Hewitt and Manning, 2019), where a linear projection of…

Computation and Language · Computer Science 2021-06-25 Tomasz Limisiewicz , David Mareček

Topological spaces - such as classifying spaces, configuration spaces and spacetimes - often admit extra temporal structure. Qualitative invariants on such directed spaces often are more informative yet more difficult to calculate than…

Algebraic Topology · Mathematics 2026-02-02 Sanjeevi Krishnan

The existing object classification techniques based on descriptive features rely on object alignment to compute the similarity of objects for classification. This paper replaces the necessity of object alignment through sorting of feature.…

Computer Vision and Pattern Recognition · Computer Science 2026-01-08 Bimal Kumar Ray