This paper presents the correctness proof of Saturation, an algorithm for generating state spaces of concurrent systems, implemented in the SMART tool. Unlike the Breadth First Search exploration algorithm, which is easy to understand and formalise, Saturation is a complex algorithm, employing a mutually-recursive pair of procedures that compute a series of non-trivial, nested local fixed point...

We present a neural network method to calibrate automatically a commercial robot after undergoing wear or damage, which works on top of the nominal inverse kinematics embedded in its controller.

Current vector-space models of lexical semantics create a single “prototype” vector to represent the meaning of a word. However, due to lexical ambiguity, encoding word meaning with a single vector is problematic. This paper presents a method that uses clustering to produce multiple “sense-specific” vectors for each word. This approach provides a context-dependent vector representation of word ...

The collaborative analysis of data within the Space Physics community is hindered, in part, by the wide number of data formats and the wide distribution of data archives. In an attempt to address these two problems we have implemented a prototype which retrieves datasets, stored in diierent data formats at several remote locations. Our prototype uses the Key Parameter Visualization Tools (KPVT)...

In this paper we formulate in general terms an approach to prove strong consistency of the Empirical Risk Minimisation inductive principle applied to the prototype or distance based clustering. This approach was motivated by the Divisive Information-Theoretic Feature Clustering model in probabilistic space with Kullback-Leibler divergence, which may be regarded as a special case within the Clus...

We introduce a method for the recognition and prediction of motion, based on the idea that different motions trace out different shapes in some state space. In the recognition step we use a multidimensional generalization of the shape context [1] to find the closest prototype motion to the observed data. When tested against motion capture data, our model yields excellent (99%) recognition of ga...

We introduce a method for the recognition and prediction of motion, based on the idea that different motions trace out different shapes in some state space. In the recognition step we use a multidimensional generalization of the shape context [2] to find the closest prototype motion to the observed data. When tested against motion capture data, our model yields excellent (99%) recognition of ga...

There is evidence that humans implicitly learn an average or prototype of previously studied faces, as the unseen face prototype is falsely recognized as having been learned (Solso & McCarthy, 1981). Here we investigated the extent and nature of face prototype formation where observers' memory was tested after they studied synthetic faces defined purely in geometric terms in a multidimensional ...

background: ritalin is an amphetamine that possible to abuse, especially among college students. this study performed with aim to determine the attitudes, subjective norms, prototype, willingness and behavioral intentions regarding ritalin abuse among college students. methods: this cross-sectional study was conducted among 264 college students of isfahan university of medical sciences, during ...