Abstract Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have be...
—This paper presents a method to find salient image points in images with regular patterns based on deviations from the overall manifold structure. The two main contributions ar...
Interest in decimal arithmetic increased considerably in recent years. This paper presents new designs for decimal floating point (DFP) addition, multiplication, fused multiplyad...
Hossam A. H. Fahmy, Ramy Raafat, Amira M. Abdel-Ma...
Boundary descriptors may be used effectively in various image based recognition problems. However, when images are acquired in uncontrolled conditions, changes in pose and illumin...
The reconstruction of 3D objects from a point-cloud is based on sufficient separation of the points representing objects of interest from the points of other, unwanted objects. Thi...