Independent component analysis (ICA), instead of the traditional discrete cosine transform (DCT), is often used to project log Mel spectrum in robust speech feature extraction. The paper proposed using symmetric ortho...
详细信息
Motivated by the critical importance of connectives in recognizing discourse relations, we present an unsupervised cross-argument inference mechanism to implicit discourse relation recognition. The basic idea is to in...
详细信息
Fast convergence speed is a desired property for training topic models such as latent Dirichlet allocation (LDA), especially in online and parallel topic modeling algorithms for big data sets. In this paper, we develo...
详细信息
Low resolution severely degrades the detail of face images, while bad illumination condition further increases the difficulty of face recognition. In this paper, we present a new differential images based face recogni...
详细信息
To improve the accuracy of plant leaf area, a new measurement method of plant leaf area based on Snake model was adopted in this study. In this paper, we captured leaf counter with improved Snake model, built up 8-dir...
详细信息
An adaptive data hiding method is proposed that encapsulates forbidden zone data hiding in order to improve the robustness of watermark under the premise of ensuring the subjective quality of host video and the invisi...
详细信息
Answer Set Programming (ASP) is widely used in many areas of Artificial Intelligence. A parallel answer set solving algorithm based on multi-core processor technology is proposed in this paper. The parallel algorithm ...
详细信息
ISBN:
(纸本)9781849195379
Answer Set Programming (ASP) is widely used in many areas of Artificial Intelligence. A parallel answer set solving algorithm based on multi-core processor technology is proposed in this paper. The parallel algorithm is designed on the shared-memory parallel computing model which is the -abs model of multi-core processor. The algorithm can distribute the whole solving task to several threads separately run on different cores of the multi-core processor. To make this parallel algorithm more efficient, we implement load balancing among different threads by the technique of shared global queue. The experimental results show that the parallel algorithm can improve the solving efficiency by times with the growth of processor cores.
Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of...
详细信息
Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of current CCS and Z systems, where CCS is good at describing concurrent systems, also Z is a good tool for data structure. As a result, form the new system CCS-Z. Then we give the syntax and semantics of it, at last give the model checking *** advantage of this paper is combined data stucture on the famous system CCS, and increase the capacity of system description.
The paper proposes a method for automatically identifying plants by computer based on the analysis that the plants and culture media have different RGB color coordinates and HSI color coordinates scales. The method ca...
详细信息
A fuzzy clustering algorithm for intrusion detection based on heterogeneous attributes is proposed in this paper. Firstly, the algorithm modifies the comparability measurement for the categorical attributes according ...
详细信息
暂无评论