Description logics are widely used to express structured data and provide reasoning facility to query and integrate data from different databases. This paper presents a many-sorted description logic MDL to represent r...
详细信息
Service-oriented computing is a new computing paradigm that utilizes services as fundamental elements for developing applications. Service composition plays a very important role in it. This paper focuses on service c...
详细信息
Syntax-based statistical translation model is proved to be better than phrasebased model, especially for language pairs with very different syntax structures, such as Chinese and English. In this talk I will introduce...
详细信息
This paper illustrates the ICT Statistical Machine Translation system used in the evaluation campaign of the International Workshop on Spoken Language Translation 2010. We participate in the DIALOG tasks for Chinese-t...
详细信息
In this paper, we propose a novel manifold alignment method by learning the underlying common manifold with supervision of corresponding data pairs from different observation sets. Different from the previous algorith...
In this paper, a novel method for predicting RNA secondary structure called RNA secondary structure prediction based on Tabu Search (RNATS) is proposed. In RNATS, two search models, intensification search and diversif...
详细信息
Separation logic is an extension of Hoare logic for reasoning about mutable heap structure. To represent separation logic in the first-order logic, there are several choices to determine what are constants, what are p...
详细信息
Separation logic is an extension of Hoare logic for reasoning about mutable heap structure. To represent separation logic in the first-order logic, there are several choices to determine what are constants, what are predicates and quantifiers, and whether the commands are taken as atomic or composite. This paper shall give a translation of separation logic into a guarded fragment of the first-order logic, such that the translation is faithful, that is, the translation translates a consistent statement (boolean expression, assertion or specification) of separation logic into a consistent formula in the fragment of the first-order logic. By the decidability of the satisfiability problem of the guarded first-order logic, if the commands are taken as atomic in the first-order logic then the guarded first-order logic translated from separation logic is decidable;if the commands are taken as atomic/composite in the first-order logic then the first-order logic translated from separation logic is undecidable.
In this paper we introduce a compactness based clustering algorithm. The compactness of a data class is measured by comparing the inter-subset and intra-subset distances. The class compactness of a subset is defined a...
详细信息
In this paper we introduce a compactness based clustering algorithm. The compactness of a data class is measured by comparing the inter-subset and intra-subset distances. The class compactness of a subset is defined as the ratio of the two distances. A subset is called an isolated cluster (or icluster) if its class compactness is greater than 1. All iclusters make a containment tree. We introduce monotonic sequences of iclusters to simplify the structure of the icluster tree, based on which a clustering algorithm is designed. The algorithm has the following advantages: it is effective on data sets with clusters nonlinearly separated, of arbitrary shapes, or of different densities. The effectiveness of the algorithm is demonstrated by experiments.
Chiaroscuro in art is characterized by strong contrasts between light and dark. An object in a certain light condition has a certain chiaroscuro pattern in appearance; and this pattern is invariant to the changes of i...
详细信息
Chiaroscuro in art is characterized by strong contrasts between light and dark. An object in a certain light condition has a certain chiaroscuro pattern in appearance; and this pattern is invariant to the changes of illumination and pose within a certain extent. In this paper we introduce an object tracking method based on chiaroscuro patterns. The chiaroscuro pattern of an image is computed by running a medial axis transform on selected level sets. The medial axes are pruned and decomposed into segments. These segments make a chiaroscuro pattern. The end points of the segments are collected as key points, which are fed to Kalman filter for object tracking. The effectiveness of the algorithm is demonstrated by experiments.
This paper presents a robust and real time method of license plate localization based on level sets. The proposed algorithm consists of three steps: (1) medial axis transformation of selected level sets, (2) identific...
详细信息
This paper presents a robust and real time method of license plate localization based on level sets. The proposed algorithm consists of three steps: (1) medial axis transformation of selected level sets, (2) identification of sub-strokes, and (3) a multi-resolution window-based analysis for plate localization. Experiments show the effectiveness of our algorithm.
暂无评论