Search Results

There is a growing interest in adopting 3D human pose estimation in safety-critical systems, from healthcare to Industry 5.0. Nevertheless, when applied in such settings, these neural networks may suffer from estimation inaccuracy. Besides ...

• Human Pose Estimation (HPE) is rising in many sectors, from industry to healthcare.
• HPE platforms are often inaccurate when applied in safety-critical environments.
• “Filter with Learned Kinematics” (FLK) refines results from every ...

Knowledge graph, as an effective representation of structured knowledge, plays an increasingly important role in the field of artificial intelligence. However, the incompleteness and sparsity of knowledge graphs have become a bottleneck that ...

This paper discusses the properties of the spaces of fuzzy sets in a metric space equipped with the endograph metric and the sendograph metric, respectively. We first give some relations among the endograph metric, the sendograph metric and the Γ-...

The continuous completions of conditionally cancellative pre-t-norms defined in the regions linked to the characterization of ( S , N )-implications when S is a continuous t-conorm and N is a fuzzy negation with one point of ...

The continuous completions of conditionally cancellative pre-t-norms defined in the regions linked to the characterization of ( S , N )-implications when S is a continuous t-conorm and N is a fuzzy negation with one point of discontinuity are ...

In the last few years, the availability of temporal knowledge graphs (TKGs), which associate time information for each event, increased the need for completing in these TKGs. In order to solve the completion problem, the existing efforts extend ...

We revisit AC completion for left-linear term rewrite systems where AC unification is avoided and the normal rewrite relation can be used in order to decide validity questions. To that end, we give a new correctness proof for finite runs and ...

Temporal Knowledge Graph (TKG) is composed of a series of facts related to timestamps in the real world and has become the basis of many artificial intelligence applications. However, the existing TKG is usually incomplete. It has become a hot research ...

Point cloud data obtained by 3D scanning equipment is often incomplete. In recent years, to complete the missing point clouds has become an important task in computer visualization research. This paper adopts a coarse-to-fine ...

In the present work, we propose new methods for the problem of third-order tensor completion and tensor robust principal component analysis (TRPCA). The proposed approaches are based on finding a low-rank tensor by solving some optimization ...

The concept of topological IL-algebra is introduced in this paper. It generalizes the idea of topological FL${}_{\text{ew}}$-algebra, BL-algebra, and MV-algebra. Linear topology on IL-algebra is defined by a system of affine filters, and some of its properties ...

The characterization of ( S , N )-implications when N is a non-continuous negation has remained one of the most significant open problems in fuzzy logic for the last decades. This paper constitutes the first progress in this topic. ...

Image segmentation is a fundamental task that has benefited from recent advances in machine learning. One type of segmentation, of particular interest to computer vision, is that of urban segmentation. Although recent solutions have ...

• A framework improves regularities, fuses multi-views, and generates complete results.

In the real world, 3D point cloud data is generally obtained by LiDAR scanning. However, objects in the real world are occluded from each other, which will cause the point cloud scanned by LiDAR to be partially missing. In this paper, we improve ...

We propose a novel convolutional operator for the task of point cloud completion. One striking characteristic of our approach is that, conversely to related work it does not require any max-pooling or voxelization operation. Instead, the proposed ...

We present a tool that checks for a given context-free graph grammar whether the corresponding graph reduction system in which all rules are applied backward, is confluent—a question that arises when using graph grammars to guide state space ...

A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have a ...

Multi-posets as the generalization of quantum B-algebras and partially ordered semigroups etc. were firstly introduced and studied by Rump. In this paper, we shall continue his work and investigate the completions of multi-posets and ...

The aim of this paper is to study the ⊤-filter monad and its applications in ⊤-convergence spaces and probabilistic uniform spaces. Firstly, strong L-topologies are characterized by means of the construction of ⊤-filter monad. Secondly,...