In this paper we give a lower bound for the strongly unique minimal projection (with norm one) constant (SUP-constant) onto some (n − k)-dimensional subspaces of l ∞ (n ≥ 3, 1 ≤ k ≤ n−1). By Proposition 1 of this paper, each k-dimensional Banach space with polytope unit ball with m (k − 1)-faces is isometrically isomorphic to a subspace of lk+m−1 ∞ . As such the aforementioned estimation can be...

Recent years have witnessed the growing popularity of hash function learning for large-scale data search. Although most existing hashing-based methods have been proven to obtain high accuracy, they are regarded as passive hashing and assume that the labelled points are provided in advance. In this paper, we consider updating a hashing model upon gradually increased labelled data in a fast respo...

Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one major obstacle restricting the application of this approach, e.g. CTL model update [15], is that the update has to take the entire system model into account, and that is usually not feasible for large scale domains. In this paper, ...

Updating topographic maps in multi-representation databases is crucial to a number of applications. An efficient way to update topographic maps is to propagate the updates from large-scale maps to small-scale maps. Because objects are often portrayed differently in maps of different scales, it is a complicated process to produce multi-scale topographic maps that meet specific cartographical cri...