Zobrazeno 1 - 10
of 10 663
pro vyhledávání: '"Assia, A"'
With their meaningful geometry and their omnipresence in the 3D world, edges are extremely useful primitives in computer vision. 3D edges comprise of lines and curves, and methods to reconstruct them use either multi-view images or point clouds as in
Externí odkaz:
http://arxiv.org/abs/2409.12886
Rapid growth in the popularity of AR/VR/MR applications and cloud-based visual localization systems has given rise to an increased focus on the privacy of user content in the localization process. This privacy concern has been further escalated by th
Externí odkaz:
http://arxiv.org/abs/2409.11536
Autor:
Lombardi, Henri, Mahboubi, Assia
In this memoir, we seek to construct a constructive theory that is as complete as possible to describe the algebraic properties of the real number field in constructive mathematics without a dependent choice axiom. To this purpose, we use a dynamical
Externí odkaz:
http://arxiv.org/abs/2408.10290
Object pose estimation is essential to many industrial applications involving robotic manipulation, navigation, and augmented reality. Current generalizable object pose estimators, i.e., approaches that do not need to be trained per object, rely on a
Externí odkaz:
http://arxiv.org/abs/2408.08234
Camera relocalization relies on 3D models of the scene with a large memory footprint that is incompatible with the memory budget of several applications. One solution to reduce the scene memory size is map compression by removing certain 3D points an
Externí odkaz:
http://arxiv.org/abs/2407.15540
Autor:
Lombardi, Henri, Mahboubi, Assia
In this memoir, we seek to construct a dynamical theory as complete as possible to describe the algebraic properties of the field of real numbers in constructive mathematics without axiom of dependent choice. We propose a theory which turns out to be
Externí odkaz:
http://arxiv.org/abs/2406.15218
This paper describes a formal proof library, developed using the Coq proof assistant, designed to assist users in writing correct diagrammatic proofs, for 1-categories. This library proposes a deep-embedded, domain-specific formal language, which fea
Externí odkaz:
http://arxiv.org/abs/2402.14485
Autor:
Martinet, Christine, Kassir-Bodon, Assia, Deschamps, Thierry, Cornet, Antoine, Floch, Sylvie Le, Martinez, Valerie, Champagnon, Bernard
Publikováno v:
J. Phys.: Condens. Matter 27 325401 (2015); Correction: J. Phys.: Condens. Matter 28 329501 (2016)
Densified silica can be obtained by different pressure and temperature paths and for different stress conditions, hydrostatic or including shear. The density is usually the macroscopic parameter used to characterize the different compressed silica sa
Externí odkaz:
http://arxiv.org/abs/2402.05311
Autor:
Mahboubi, Assia, Piquerez, Matthieu
This paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chases can be captured by a simple many-sorted first-order theory, and we
Externí odkaz:
http://arxiv.org/abs/2311.01790
Libraries of formalized mathematics use a possibly broad range of different representations for a same mathematical concept. Yet light to major manual input from users remains most often required for obtaining the corresponding variants of theorems,
Externí odkaz:
http://arxiv.org/abs/2310.14022