English
Related papers

Related papers: Certifiable Relative Pose Estimation

200 papers

Many mathematical imaging problems are posed as non-convex optimization problems. When numerically tractable global optimization procedures are not available, one is often interested in testing ex post facto whether or not a locally…

Signal Processing · Electrical Eng. & Systems 2020-07-13 Joel W. LeBlanc , Brian J. Thelen , Alfred O. Hero

In this work we present a unified method of relative camera pose estimation from points and lines correspondences. Given a set of 2D points and lines correspondences in three views, of which two are known, a method has been developed for…

Robotics · Computer Science 2017-10-19 Ashraf Qadir , Jeremiah Neubert

We propose a minimal solution for pose estimation using both points and lines for a multi-perspective camera. In this paper, we treat the multi-perspective camera as a collection of rigidly attached perspective cameras. These type of…

Computer Vision and Pattern Recognition · Computer Science 2018-07-27 Pedro Miraldo , Tiago Dias , Srikumar Ramalingam

We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstrated by implementing a proof checker in C, which outperforms…

Logic in Computer Science · Computer Science 2017-08-09 Luís Cruz-Filipe , Joao Marques-Silva , Peter Schneider-Kamp

The most prevalent routine for camera calibration is based on the detection of well-defined feature points on a purpose-made calibration artifact. These could be checkerboard saddle points, circles, rings or triangles, often printed on a…

Computer Vision and Pattern Recognition · Computer Science 2020-03-23 Morten Hannemose , Jakob Wilm , Jeppe Revall Frisvad

Pose Graph Optimization involves the estimation of a set of poses from pairwise measurements and provides a formalization for many problems arising in mobile robotics and geometric computer vision. In this paper, we consider the case in…

Robotics · Computer Science 2018-01-09 Luca Carlone , Giuseppe C. Calafiore

Pose estimation is one of the most important problems in computer vision. It can be divided in two different categories -- absolute and relative -- and may involve two different types of camera models: central and non-central.…

Computer Vision and Pattern Recognition · Computer Science 2019-04-11 Joao Campos , Joao R. Cardoso , Pedro Miraldo

Modern state estimation is often formulated as an optimization problem and solved using efficient local search methods. These methods at best guarantee convergence to local minima, but, in some cases, global optimality can also be…

Robotics · Computer Science 2022-11-28 Connor Holmes , Timothy D. Barfoot

How to efficiently and accurately handle image matching outliers is a critical issue in two-view relative estimation. The prevailing RANSAC method necessitates that the minimal point pairs be inliers. This paper introduces a linear relative…

Computer Vision and Pattern Recognition · Computer Science 2024-01-25 Qi Cai , Xinrui Li , Yuanxin Wu

This paper addresses the challenge of probabilistic parameter estimation given measurement uncertainty in real-time. We provide a general formulation and apply this to pose estimation for an autonomous visual landing system. We present…

Current traditional methods for LiDAR-camera extrinsics estimation depend on offline targets and human efforts, while learning-based approaches resort to iterative refinement for calibration results, posing constraints on their…

Computer Vision and Pattern Recognition · Computer Science 2023-12-05 Shuang Xu , Sifan Zhou , Zhi Tian , Jizhou Ma , Qiong Nie , Xiangxiang Chu

The choice of poses for camera calibration with planar patterns is only rarely considered - yet the calibration precision heavily depends on it. This work presents a pose selection method that finds a compact and robust set of calibration…

Computer Vision and Pattern Recognition · Computer Science 2019-07-15 Pavel Rojtberg , Arjan Kuijper

Certifiable local robustness, which rigorously precludes small-norm adversarial examples, has received significant attention as a means of addressing security concerns in deep learning. However, for some classification problems, local…

Machine Learning · Computer Science 2021-06-15 Klas Leino , Matt Fredrikson

We establish a geometric condition guaranteeing exact copositive relaxation for the nonconvex quadratic optimization problem under two quadratic and several linear constraints, and present sufficient conditions for global optimality in…

Optimization and Control · Mathematics 2017-10-04 I. M. Bomze , V. Jeyakumar , G. Li

In this paper, we study closed-form optimal solutions to two-view triangulation with known internal calibration and pose. By formulating the triangulation problem as $L_1$ and $L_\infty$ minimization of angular reprojection errors, we…

Computer Vision and Pattern Recognition · Computer Science 2019-07-30 Seong Hun Lee , Javier Civera

Solving non-linear least-squares problem for pose estimation (rotation and translation) is often a time consuming yet fundamental problem in several real-time computer vision applications. With an adequate rotation parametrization, the…

Computer Vision and Pattern Recognition · Computer Science 2026-04-17 Jana Vráblíková , Ezio Malis , Laurent Busé

This paper investigates the problem of certifying optimality for sparse generalized linear models (GLMs), where sparsity is enforced through an $\ell_0$ cardinality constraint. While branch-and-bound (BnB) frameworks can certify optimality…

Machine Learning · Computer Science 2025-06-12 Jiachang Liu , Soroosh Shafiee , Andrea Lodi

Real-world robotics applications demand object pose estimation methods that work reliably across a variety of scenarios. Modern learning-based approaches require large labeled datasets and tend to perform poorly outside the training domain.…

Computer Vision and Pattern Recognition · Computer Science 2023-05-15 Jingnan Shi , Rajat Talak , Dominic Maggio , Luca Carlone

Event cameras are emerging vision sensors and their advantages are suitable for various applications such as autonomous robots. Contrast maximization (CMax), which provides state-of-the-art accuracy on motion estimation using events, may…

Computer Vision and Pattern Recognition · Computer Science 2024-03-05 Shintaro Shiba , Yoshimitsu Aoki , Guillermo Gallego

Many geometric estimation problems take the form of synchronization over the special Euclidean group: estimate the values of a set of poses given noisy measurements of a subset of their pairwise relative transforms. This problem is…

Robotics · Computer Science 2017-02-13 David M. Rosen , Luca Carlone , Afonso S. Bandeira , John J. Leonard