162,887 research outputs found
Convex Global 3D Registration with Lagrangian Duality
The registration of 3D models by a Euclidean transformation is a fundamental task at the core of many application in computer vision. This problem is non-convex due to the presence of rotational constraints, making traditional local optimization methods prone to getting stuck in local minima. This paper addresses finding the globally optimal transformation in various 3D registration problems by a unified formulation that integrates common geometric registration modalities (namely point-to-point, point-to-line and point-to-plane). This formulation renders the optimization problem independent of both the number and nature of the correspondences.
The main novelty of our proposal is the introduction of a strengthened Lagrangian dual relaxation for this problem, which surpasses previous similar approaches [32] in effectiveness.
In fact, even though with no theoretical guarantees, exhaustive empirical evaluation in both synthetic and real experiments always resulted on a tight relaxation that allowed to recover a guaranteed globally optimal solution by exploiting duality theory.
Thus, our approach allows for effectively solving the 3D registration with global optimality guarantees while running at a fraction of the time for the state-of-the-art alternative [34], based on a more computationally intensive Branch and Bound method.Universidad de Málaga. Campus de Excelencia Internacional AndalucĂa Tech
Information geometry of Gaussian channels
We define a local Riemannian metric tensor in the manifold of Gaussian
channels and the distance that it induces. We adopt an information-geometric
approach and define a metric derived from the Bures-Fisher metric for quantum
states. The resulting metric inherits several desirable properties from the
Bures-Fisher metric and is operationally motivated from distinguishability
considerations: It serves as an upper bound to the attainable quantum Fisher
information for the channel parameters using Gaussian states, under generic
constraints on the physically available resources. Our approach naturally
includes the use of entangled Gaussian probe states. We prove that the metric
enjoys some desirable properties like stability and covariance. As a byproduct,
we also obtain some general results in Gaussian channel estimation that are the
continuous-variable analogs of previously known results in finite dimensions.
We prove that optimal probe states are always pure and bounded in the number of
ancillary modes, even in the presence of constraints on the reduced state input
in the channel. This has experimental and computational implications: It limits
the complexity of optimal experimental setups for channel estimation and
reduces the computational requirements for the evaluation of the metric:
Indeed, we construct a converging algorithm for its computation. We provide
explicit formulae for computing the multiparametric quantum Fisher information
for dissipative channels probed with arbitrary Gaussian states, and provide the
optimal observables for the estimation of the channel parameters (e.g. bath
couplings, squeezing, and temperature).Comment: 19 pages, 4 figure
The Design and Implementation of a Bayesian CAD Modeler for Robotic Applications
We present a Bayesian CAD modeler for robotic applications. We address the problem of taking into account the propagation of geometric uncertainties when solving inverse geometric problems. The proposed method may be seen as a generalization of constraint-based approaches in which we explicitly model geometric uncertainties. Using our methodology, a geometric constraint is expressed as a probability distribution on the system parameters and the sensor measurements, instead of a simple equality or inequality. To solve geometric problems in this framework, we propose an original resolution method able to adapt to problem complexity.
Using two examples, we show how to apply our approach by providing simulation results using our modeler
Neighbourhood Consensus Networks
We address the problem of finding reliable dense correspondences between a
pair of images. This is a challenging task due to strong appearance differences
between the corresponding scene elements and ambiguities generated by
repetitive patterns. The contributions of this work are threefold. First,
inspired by the classic idea of disambiguating feature matches using semi-local
constraints, we develop an end-to-end trainable convolutional neural network
architecture that identifies sets of spatially consistent matches by analyzing
neighbourhood consensus patterns in the 4D space of all possible
correspondences between a pair of images without the need for a global
geometric model. Second, we demonstrate that the model can be trained
effectively from weak supervision in the form of matching and non-matching
image pairs without the need for costly manual annotation of point to point
correspondences. Third, we show the proposed neighbourhood consensus network
can be applied to a range of matching tasks including both category- and
instance-level matching, obtaining the state-of-the-art results on the PF
Pascal dataset and the InLoc indoor visual localization benchmark.Comment: In Proceedings of the 32nd Conference on Neural Information
Processing Systems (NeurIPS 2018
A Robotic CAD System using a Bayesian Framework
We present in this paper a Bayesian CAD system
for robotic applications. We address the problem of the
propagation of geometric uncertainties and how esian
CAD system for robotic applications. We address the
problem of the propagation of geometric uncertainties
and how to take this propagation into account when
solving inverse problems. We describe the methodology
we use to represent and handle uncertainties using
probability distributions on the system's parameters
and sensor measurements. It may be seen as a
generalization of constraint-based approaches where we
express a constraint as a probability distribution instead
of a simple equality or inequality. Appropriate
numerical algorithms used to apply this methodology
are also described. Using an example, we show how
to apply our approach by providing simulation results
using our CAD system
Efficient Constellation-Based Map-Merging for Semantic SLAM
Data association in SLAM is fundamentally challenging, and handling ambiguity
well is crucial to achieve robust operation in real-world environments. When
ambiguous measurements arise, conservatism often mandates that the measurement
is discarded or a new landmark is initialized rather than risking an incorrect
association. To address the inevitable `duplicate' landmarks that arise, we
present an efficient map-merging framework to detect duplicate constellations
of landmarks, providing a high-confidence loop-closure mechanism well-suited
for object-level SLAM. This approach uses an incrementally-computable
approximation of landmark uncertainty that only depends on local information in
the SLAM graph, avoiding expensive recovery of the full system covariance
matrix. This enables a search based on geometric consistency (GC) (rather than
full joint compatibility (JC)) that inexpensively reduces the search space to a
handful of `best' hypotheses. Furthermore, we reformulate the commonly-used
interpretation tree to allow for more efficient integration of clique-based
pairwise compatibility, accelerating the branch-and-bound max-cardinality
search. Our method is demonstrated to match the performance of full JC methods
at significantly-reduced computational cost, facilitating robust object-based
loop-closure over large SLAM problems.Comment: Accepted to IEEE International Conference on Robotics and Automation
(ICRA) 201
State-of-the-art in aerodynamic shape optimisation methods
Aerodynamic optimisation has become an indispensable component for any aerodynamic design over the past 60 years, with applications to aircraft, cars, trains, bridges, wind turbines, internal pipe flows, and cavities, among others, and is thus relevant in many facets of technology. With advancements in computational power, automated design optimisation procedures have become more competent, however, there is an ambiguity and bias throughout the literature with regards to relative performance of optimisation architectures and employed algorithms. This paper provides a well-balanced critical review of the dominant optimisation approaches that have been integrated with aerodynamic theory for the purpose of shape optimisation. A total of 229 papers, published in more than 120 journals and conference proceedings, have been classified into 6 different optimisation algorithm approaches. The material cited includes some of the most well-established authors and publications in the field of aerodynamic optimisation. This paper aims to eliminate bias toward certain algorithms by analysing the limitations, drawbacks, and the benefits of the most utilised optimisation approaches. This review provides comprehensive but straightforward insight for non-specialists and reference detailing the current state for specialist practitioners
- …