Sciweavers

598 search results - page 10 / 120
» Stably compact spaces
Sort
View
ORDER
2002
90views more  ORDER 2002»
13 years 7 months ago
The Priestley Separation Axiom for Scattered Spaces
Let R be a quasi-order on a compact Hausdorff topological space X. We prove that if X is scattered, then R satisfies the Priestley separation axiom if and only if R is closed in th...
Guram Bezhanishvili, Ray Mines, Patrick J. Morandi
AICOM
2006
124views more  AICOM 2006»
13 years 7 months ago
A Compact Representation for Least Common Subsumers in the description logic ALE
This paper introduces a compact representation which helps to avoid the exponential blow-up in space of the Least Common Subsumer (lcs) of two ALEconcept descriptions. Based on th...
Chan Le Duc, Nhan Le Thanh, Marie-Christine Rousse...
CVPR
2012
IEEE
11 years 9 months ago
Fast search in Hamming space with multi-index hashing
There has been growing interest in mapping image data onto compact binary codes for fast near neighbor search in vision applications. Although binary codes are motivated by their ...
Mohammad Emtiyaz Norouzi, Ali Punjani, David J. Fl...
IPL
2010
94views more  IPL 2010»
13 years 5 months ago
A compact data structure for representing a dynamic multiset
We develop a data structure for maintaining a dynamic multiset that uses O(n lg lg n/ lg n) bits and O(1) words, in addition to the space required by the n elements stored, suppor...
Jyrki Katajainen, S. Srinivasa Rao
FCT
2005
Springer
14 years 26 days ago
Completeness and Compactness of Quantitative Domains
In this paper we study the interplay between metric and order completeness of semantic domains equipped with generalised distances. We prove that for bounded complete posets direct...
Pawel Waszkiewicz