We present a novel 3D object retrieval method that relies upon a hybrid descriptor which is composed of 2D features based on depth buffers and 3D features based on spherical harmonics. To compensate for rotation, two alignment methods, namely CPCA and NPCA, are used while compactness is supported via scalar feature quantization to a set of values that is further compressed using Huffman coding....

Mobile Object-Z (MobiOZ) is an extended notation of Object-Z with mobile and communication primitives required for mobile agent applications. In this paper, we will give an overview of the MobiOZ language features and present its semantic foundation. We also demonstrate expressiveness of the notation through a number of examples.

‎Complex-valued harmonic functions that are univalent and‎ ‎sense-preserving in the open unit disk $U$ can be written as form‎ ‎$f =h+bar{g}$‎, ‎where $h$ and $g$ are analytic in $U$‎. ‎In this paper‎, ‎we introduce the class $S_H^1(beta)$‎, ‎where $1<betaleq 2$‎, ‎and‎ ‎consisting of harmonic univalent function $f = h+bar{g}$‎, ‎where $h$ and $g$ are in the form‎ ‎$h(z) = z+sumlimits_{n=2}^inf...

BACKGROUND AND PURPOSE Various methods for evaluating the lateralization of linguistic function using functional MR imaging have been proposed. However, the optimal method remains controversial. The purpose of this study was not only to establish a method for quantitatively evaluating the lateralization of linguistic function but also to evaluate its optimality. METHODS Internal speech tasks ...

In this paper we discuss how the speciication of components may be separated from the description of the context in which they are used. There are a number of ways in which this might be possible and here we show how to use the technique of promotion in Object-Z to combine components which are speciied using process algebras. We discuss two approaches, the rst is to separate out the speciica-ti...

The possibilities to run with a linear collider at the Z-pole with high luminosity are examined. Apart from the implications on machine and detector the interest for electroweak and B-physics is discussed. Plenary talk at the International Workshop on Linear Colliders, Fermilab 24 28 October 2000

This paper presents a method of reasoning about Object-Z speciications. The approach utilises the modularity inherent in Object-Z speciications to simplify proofs. Properties proved for a class in isolation can be used when that class is either inherited by another class or instantiated as part of a system of interacting objects. Proofs using structural induction and the notion of object integr...

VM/Pass-Through, an interactive networking facility, has gained widespread acceptance within ISM and with ISM customers. Pass-Through allows a single terminal access to many different computers, including those at distant locations. In building Pass-Through, and in observing its growing use, we have had an opportunity to study the practical implications of this facility and of our approach to i...

The main purpose of this report is to introduce a formal speciication notation ZedCharts and its applications. The ZedCharts notation is a combination of a Statecharts subset and the Z notation. This notation can be used for specifying reactive systems and safety-critical systems by describing their behaviour and functionality formally. We will also demonstrate an eeective approach to using Zed...