Correction to "Extended Topology: Domain Finiteness"
نویسندگان
چکیده
منابع مشابه
On Point-finiteness in Pointfree Topology
Abstract: In pointfree topology, the point-finite covers introduced by Dowker and Strauss do not behave similarly to their classical counterparts with respect to transitive quasi-uniformities, contrarily to what happens with other familiar types of interior-preserving covers. The purpose of this paper is to remedy this by modifying the definition of Dowker and Strauss. We present arguments to j...
متن کاملUnderstanding Finiteness Analysis Using Abstract Interpretation (extended Abstract) 1
Finiteness analyses are compile-time techniques to determine (suucient) conditions for the niteness of relations computed during the bottom-up execution of a logic program. We examine niteness analyses from the perspective of abstract interpretation. However, problems arise when trying to use standard abstract interpretation theory for niteness analysis. They occur because niteness is not an ad...
متن کاملDeformation Field Correction to Preserve Topology for Image Registration
In this paper, the author addresses the issue of designing a theoretically well-motivated and computationally efficient method ensuring topology preservation on image-registration-related deformation fields. The model is motivated by a mathematical characterization of topology preservation for a deformation field mapping two subsets of Z2, namely, positivity of the four approximations to the Ja...
متن کاملExtended Spelling Correction for German
A conscrvativc extension of standard spciling corrcction systems for German is discusscd which goes beyond normal chccking of isolated single words by taking multi-words, linguistically motivatcd non-words, as well as contexts into account.
متن کاملHamiltonian Cycle within Extended OTIS-Cube Topology
This paper introduces a complete description of constructing a Hamiltonian cycle in the Extended OTIS-n-Cube topology. The recently proposed network has many good topological features such as regular degree, semantic structure, low diameter, and ability to embed graphs and cycles. Constructing a Hamiltonian cycle is an important feature for any topology due to the importance of broadcast messag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Indagationes Mathematicae (Proceedings)
سال: 1964
ISSN: 1385-7258
DOI: 10.1016/s1385-7258(64)50061-x