中文
相关论文

相关论文: A Termination Criterion for Probabilistic PointClo…

200 篇论文

We provide a dynamical perspective on the classical problem of 3D point cloud registration with correspondences. A point cloud is considered as a rigid body consisting of particles. The problem of registering two point clouds is formulated…

计算机视觉与模式识别 · 计算机科学 2020-05-08 Heng Yang

In this paper, we present a local information theoretic approach to explicitly learn probabilistic clustering of a discrete random variable. Our formulation yields a convex maximization problem for which it is NP-hard to find the global…

机器学习 · 计算机科学 2018-10-12 David Qiu , Anuran Makur , Lizhong Zheng

In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: 1. qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii)…

计算机科学中的逻辑 · 计算机科学 2015-10-30 Krishnendu Chatterjee , Hongfei Fu , Petr Novotny , Rouzbeh Hasheminezhad

We introduce the class of constant probability (CP) programs and show that classical results from probability theory directly yield a simple decision procedure for (positive) almost sure termination of programs in this class. Moreover,…

计算机科学中的逻辑 · 计算机科学 2019-09-19 Jürgen Giesl , Peter Giesl , Marcel Hark

An unsupervised, iterative point-set registration algorithm for an unlabeled (i.e. correspondence between points is unknown) N-dimensional Euclidean point-cloud is proposed. It is based on linear least squares, and considers all possible…

计算机视觉与模式识别 · 计算机科学 2019-08-14 A. Pasha Hosseinbor , R. Zhdanov , A. Ushveridze

There are many evaluation strategies for term rewrite systems, but proving termination automatically is usually easiest for innermost rewriting. Several syntactic criteria exist when innermost termination implies full termination. We adapt…

计算机科学中的逻辑 · 计算机科学 2024-02-13 Jan-Christoph Kassing , Florian Frohn , Jürgen Giesl

In this work, we propose to learn local descriptors for point clouds in a self-supervised manner. In each iteration of the training, the input of the network is merely one unlabeled point cloud. On top of our previous work, that directly…

机器人学 · 计算机科学 2020-03-12 Yijun Yuan , Jiawei Hou , Andreas Nüchter , Sören Schwertfeger

We study the almost-sure termination problem for probabilistic programs. First, we show that supermartingales with lower bounds on conditional absolute difference provide a sound approach for the almost-sure termination problem. Moreover,…

计算机科学中的逻辑 · 计算机科学 2018-08-24 Mingzhang Huang , Hongfei Fu , Krishnendu Chatterjee

Text retrieval systems often return large sets of documents, particularly when applied to large collections. Stopping criteria can reduce the number of these documents that need to be manually evaluated for relevance by predicting when a…

信息检索 · 计算机科学 2019-09-16 Alison Sneyd , Mark Stevenson

Rigid registration of point clouds with partial overlaps is a longstanding problem usually solved in two steps: (a) finding correspondences between the point clouds; (b) filtering these correspondences to keep only the most reliable ones to…

计算机视觉与模式识别 · 计算机科学 2021-10-05 Anh-Quan Cao , Gilles Puy , Alexandre Boulch , Renaud Marlet

We consider stopping criteria that balance algebraic and discretization errors for the conjugate gradient algorithm applied to high-order finite element discretizations of Poisson problems. Firstly, we introduce a new stopping criterion…

数值分析 · 数学 2024-08-06 Yichen Guo , Eric de Sturler , Tim Warburton

An unsupervised point cloud object retrieval and pose estimation method, called PCRP, is proposed in this work. It is assumed that there exists a gallery point cloud set that contains point cloud objects with given pose orientation…

计算机视觉与模式识别 · 计算机科学 2022-02-17 Pranav Kadam , Qingyang Zhou , Shan Liu , C. -C. Jay Kuo

Full-reference point cloud objective metrics are currently providing very accurate representations of perceptual quality. These metrics are usually composed of a set of features that are somehow combined, resulting in a final quality value.…

图像与视频处理 · 电气工程与系统科学 2025-04-07 Joao Prazeres , Rafael Rodrigues , Manuela Pereira , Antonio M. G. Pinheiro

Point cloud registration aligns multiple unposed point clouds into a common reference frame and is a core step for 3D reconstruction and robot localization without initial guess. In this work, we cast registration as conditional generation:…

计算机视觉与模式识别 · 计算机科学 2026-03-17 Yue Pan , Tao Sun , Liyuan Zhu , Lucas Nunes , Iro Armeni , Jens Behley , Cyrill Stachniss

In this paper, we propose an algorithm for registering sequential bounding boxes with point cloud streams. Unlike popular point cloud registration techniques, the alignment of the point cloud and the bounding box can rely on the properties…

计算机视觉与模式识别 · 计算机科学 2024-09-17 Xuesong Li , Xinge Zhu , Yuexin Ma , Subhan Khan , Jose Guivant

We present a novel approach to point set registration which is based on one-shot adversarial learning. The idea of the algorithm is inspired by recent successes of generative adversarial networks. Treating the point clouds as…

计算机视觉与模式识别 · 计算机科学 2018-11-21 Sergei Divakov , Ivan Oseledets

Click-through rate (CTR) prediction is a core task in recommender systems. Existing methods (IDRec for short) rely on unique identities to represent distinct users and items that have prevailed for decades. On one hand, IDRec often faces…

信息检索 · 计算机科学 2024-03-18 Yuanbo Gao , Peng Lin , Dongyue Wang , Feng Mei , Xiwei Zhao , Sulong Xu , Jinghe Hu

In this paper, we address the point cloud registration problem, where well-known methods like ICP fail under uncertainty arising from sensor noise, pose-estimation errors, and partial overlap due to occlusion. We develop a novel approach,…

机器人学 · 计算机科学 2025-09-25 Johannes A. Gaus , Loris Schneider , Yitian Shi , Jongseok Lee , Rania Rayyes , Rudolph Triebel

As a fundamental problem in computer vision, 3D point cloud registration (PCR) aims to seek the optimal pose to align a point cloud pair. In this paper, we present a 3D registration method with maximal cliques (MAC). The key insight is to…

计算机视觉与模式识别 · 计算机科学 2023-05-19 Xiyu Zhang , Jiaqi Yang , Shikun Zhang , Yanning Zhang

Point set registration is the process of finding the best alignment between two point sets, and it is a common task in different domains, especially in the automotive and mobile robotics domains. Lots of approaches are proposed in the…

机器人学 · 计算机科学 2022-04-22 Karim Haggag