A Machine Proof System of Point Geometry Based on Coq
Mathematics, 2023 An important development in geometric algebra in recent years is the new system known as point geometry, which treats points as direct objects of operations and considerably simplifies the process of geometric reasoning.
Siran Lei +4 more
doaj +2 more sources
GPV-Pose: Category-level Object Pose Estimation via Geometry-guided Point-wise Voting [PDF]
Computer Vision and Pattern Recognition, 2022 While 6D object pose estimation has recently made a huge leap forward, most methods can still only handle a single or a handful of different objects, which limits their applications.
Di Yan +6 more
openalex +3 more sources
A point's point of view of stringy geometry [PDF]
, 2003 The notion of a "point" is essential to describe the topology of spacetime. Despite this, a point probably does not play a particularly distinguished role in any intrinsic formulation of string theory. We discuss one way to try to determine the notion of
Paul S. Aspinwall
openalex +4 more sources
A Point-to-Distribution Joint Geometry and Color Metric for Point Cloud Quality Assessment [PDF]
IEEE International Workshop on Multimedia Signal Processing, 2021 Point clouds (PCs) are a powerful 3D visual representation paradigm for many emerging application domains, especially virtual and augmented reality, and autonomous vehicles. However, the large amount of PC data required for highly immersive and realistic
Alireza Javaheri +3 more
openalex +3 more sources
Geometry Students’ Arguments About a 1-Point Perspective Drawing [PDF]
REDIMAT, 2017 The practice of formulating and justifying claims is a fundamental aspect of doing mathematics, and in geometry, students’ use of diagrams is integral to how they establish arguments. We applied Toulmin’s model to examine 23 geometry students’ arguments
Anna F. DeJarnette, Gloriana Gonzalez
doaj +2 more sources
True coincidence summing correction factor for point source geometry with PHITS
Nuclear Engineering and Technology, 2023 In this study, it has been shown that the true coincidence summing correction factor can be obtained for the first time using the PHITS Monte Carlo program.
Esra Uyar
doaj +2 more sources
Point cloud geometry compression with sparse cascaded residuals and sparse attention [PDF]
Electronics LettersEffective compression of point clouds is essential for implementing virtual and mixed reality applications, which require encoding millions or even tens of millions of points. This paper offers a new geometric compression for point clouds based on sparse
Shiyu Lu, Huamin Yang, Cheng Han
doaj +2 more sources
PoinTr: Diverse Point Cloud Completion with Geometry-Aware Transformers [PDF]
IEEE International Conference on Computer Vision, 2021 Point clouds captured in real-world applications are of-ten incomplete due to the limited sensor resolution, single viewpoint, and occlusion. Therefore, recovering the complete point clouds from partial ones becomes an indispensable task in many ...
Xumin Yu +5 more
semanticscholar +1 more source
AdaPoinTr: Diverse Point Cloud Completion With Adaptive Geometry-Aware Transformers [PDF]
IEEE Transactions on Pattern Analysis and Machine Intelligence, 2023 In this paper, we propose a Transformer encoder-decoder architecture, called PoinTr, which reformulates point cloud completion as a set-to-set translation problem and employs a geometry-aware block to model local geometric relationships explicitly.
Xumin Yu +4 more
semanticscholar +1 more source
Lossless Point Cloud Geometry and Attribute Compression Using a Learned Conditional Probability Model [PDF]
IEEE transactions on circuits and systems for video technology (Print), 2023 In recent years, we have witnessed the presence of point cloud data in many aspects of our life, from immersive media, autonomous driving to healthcare, although at the cost of a tremendous amount of data.
D. Nguyen, A. Kaup
semanticscholar +1 more source