Search
Search Results
-
Slam loop closure detection algorithm based on MSA-SG
This paper introduces an innovative method to improve loop closure detection within the domain of Simultaneous Localization And Map** (SLAM) by...
-
Automata Classes Accepting Languages Whose Commutative Closure is Regular
The commutative closure operation, which corresponds to the Parikh image, is a natural operation on formal languages occurring in verification and...
-
Community detection of weighted complex networks via transitive closure
The K-means algorithm has been successfully applied to many complex network analysis problems. However, this method is sensitive to how the first...
-
Extending Defeasible Reasoning Beyond Rational Closure
The KLM framework is a well known extension of classical logic for incorporating defeasible reasoning. Central to the KLM framework is rational...
-
2k-Vertex Kernels for Cluster Deletion and Strong Triadic Closure
Cluster deletion and strong triadic closure are two important NP-complete problems that have received significant attention due to their applications...
-
DNETC: dynamic network embedding preserving both triadic closure evolution and community structures
Network embedding, a central issue of deep learning preprocessing on social networks, aims to transform network elements (vertices) into...
-
Core c-Representations and c-Core Closure for Conditional Belief Bases
c-Representations constitute a family of ranking models of symbolic conditional belief bases with outstanding inference properties. In this paper, we...
-
Cyclic Hypersequent System for Transitive Closure Logic
We propose a cut-free cyclic system for transitive closure logic (TCL) based on a form of hypersequents , suitable for automated reasoning via proof...
-
Robust Real-Time Optimized LiDAR Odometry with Loop Closure Detection
In this paper, we present a lightweight, integrated LiDAR SLAM system designed for high efficiency and robust loop closure detection. Our evaluation...
-
On the Commutative Diagrams Among Galois Connections Involved in Closure Structures
In previous works we proved that fuzzy closure structures such as closure systems, fuzzy closure systems, fuzzy closure operators and fuzzy closure...
-
Characterizing Multipreference Closure with System W
System W is an approach to reasoning from conditional beliefs that exhibits many properties desirable for nonmonotonic reasoning like extending...
-
Loop Closure Detection Based on Local and Global Descriptors with Sinkhorn Algorithm
This paper presents a novel loop closure detection pipeline for SLAM systems, addressing the limitations of current deep learning methods in...
-
Dretske and Informational Closure
Christoph Jäger (Erkenntnis 61:187–201, 2004) has argued that Dretske’s (Knowledge and the flow of Information, MIT Press, Cambridge, 1981)...
-
Loop Closure Detection in Visual SLAM Based on Convolutional Neural Network
In Robotics, autonomous navigation has been addressed in recent years due to the potential of applications in different areas, such as industrial,...
-
Rational Closure Extension in SPO-Representable Inductive Inference Operators
The class of inductive inference operators that extend rational closure, as introduced by Lehmann or via Pearl’s system Z, exhibits desirable...
-
Discussing Uninorms on Bounded Lattices Using Closure and Interior Operators
Uninorms on bounded lattices have recently become a significant area of study. In the present study, we describe two new approaches for creating...
-
Closure and Decision Properties for Higher-Dimensional Automata
In this paper we develop the language theory of higher-dimensional automata (HDAs). Regular languages of HDAs are sets of finite interval partially...
-
Lagrangian Trajectories and Closure Models in Mixed Quantum-Classical Dynamics
Mixed quantum-classical models have been proposed in several contexts to overcome the computational challenges of fully quantum approaches. However,...
-
On Simon’s Congruence Closure of a String
Two strings are Simon’s \(\sim _k\) -congruent if they have...
-
Loop Closure
In this lecture, we will introduce another main module in SLAM: loop closure detection. We know that the primary purpose of SLAM (frontend, backend)...