Abadi and Cardelli have investigated several versions of the ç-calculus, a calculus for describing central features of object-oriented programs, with particular emphasis on various type systems. In this paper we ...
Abadi and Cardelli have investigated several versions of the ç-calculus, a calculus for describing central features of object-oriented programs, with particular emphasis on various type systems. In this paper we study the properties of a denotational semantics due to Abadi and Cardelli vis-à-vis the notion of observational congruence for the calculus Ob 1<:μ . In particular, we prove that the denotational semantics based on partial equivalence relations is correct with respect to observational congruence. By means of a counter-example, we argue that the denotational model is not fully abstract with respect to observational congruence. In fact, the model is able to distinguish objects that have the same behaviour in every Ob 1<:μ -context.
This paper describes spotting using prosodic information as well as phonemic information. A Japanese word has its own F0 contour based on the lexical accent type and the F0 contour is preserved in sentences. Prosodic ...
详细信息
Hand gesture is one of the most natural and expressive ways for the hearing impaired. However, because of the complexity of dynamic gestures, most researches are focused either on static gestures, postures, or a small...
详细信息
Texture analysis methods have been used in various image processing tasks, such as image segmentation, recognition, shape analysis, texture synthesis, and image compression. When applying any of these methods, we assu...
详细信息
We present a parallel solution of the Schrodinger-Poisson system on distributed memory machines. The Schrodinger-Poisson system is an evolution model for the numerical simulation of a collisionless electron plasma. We...
详细信息
ISBN:
(纸本)3540593934
We present a parallel solution of the Schrodinger-Poisson system on distributed memory machines. The Schrodinger-Poisson system is an evolution model for the numerical simulation of a collisionless electron plasma. We apply the Galerkin-Fourier method to the one-dimensional system which results in a nonlinear system of ordinary differential equations. This initial value problem is solved by an appropriate parallel Runge-Kutta method. Experiments on the Intel iPSC/860 show satisfactory speedup values and confirm that the global execution time is reduced considerably.
We present a parallel computation model that is appropriate for the derivation of parallel numerical algorithms for nonlinear differential equations executed on distributed memory machines. A parallel implementation f...
详细信息
ISBN:
(纸本)3540593934
We present a parallel computation model that is appropriate for the derivation of parallel numerical algorithms for nonlinear differential equations executed on distributed memory machines. A parallel implementation for a numerical method results from an abstract specification by choosing a data distribution, a load balancing strategy, and a schedule for those parts that may be executed in parallel. We give several examples for the derivation of parallel implementations in the proposed model that show its usefulness.
In improvisational music, human accompanists understand patterns from the features of a soloist's playing, and use them effectively in many situations of real time performance. The authors have originated a comput...
详细信息
This article presents a complete hybrid object recognition system for three-dimensional objects using the characteristic view (ChV) idea. To apply the ChV representation method in a recognition system investigations a...
详细信息
ISBN:
(纸本)3540606971
This article presents a complete hybrid object recognition system for three-dimensional objects using the characteristic view (ChV) idea. To apply the ChV representation method in a recognition system investigations are needed concerning the processing of large object data bases. First we present two methods to reduce the number of views in the object data base. Second we developed an accumulator (AC)-based matching strategy combined with a localization process. This strategy bases on a hierarchical indexing structure that uses a Gaussian distributed voting. The off-line part of the matching includes a statistical analysis of the object data base and an interface to process results of a sensor configuration analysis. The calculated results support the construction of an adapted layer model suitable for hierarchical indexing. Further an unsupervised learning module is introduced;that investigates the measurement errors and adapts the system online. Results of the matching are verified by a localization tool, which uses an interpretation tree search combined by a shape from angle method and a constrained alignment technique. The article shows results with real greyscale images.
暂无评论