Motor imagery-based BCI-FES rehabilitation system has been proved to be effective in the treatment of movement function recovery. Common Spatial Pattern (CSP) and Support Vector Machine (SVM) are commonly used in the ...
详细信息
In order to identify new words in huge Chinese corpus efficiently, this paper comes up with an algorithm based on ensemble methods. At first we perform Chinese word segmenting with Trie and build segment-tree. Then we...
详细信息
It is important to use prior knowledge of signal characteristics and their distribution in time-frequency space to extract valuable information from noisy medical ***,the noise in an ECG often has a wide bandwidth whi...
详细信息
It is important to use prior knowledge of signal characteristics and their distribution in time-frequency space to extract valuable information from noisy medical ***,the noise in an ECG often has a wide bandwidth which is difficult for approaches based on filters or *** adaptive filters such as Wigner filters or Kalman filters are able to remove wide-bandwidth noise,signal waveform distortion may be brought *** we propose a new noise reduction method which uses the inherent information redundancy in an *** construct 2D and 3D Vectorcardiographs from a standard 12 channel ECG signal,and then project them onto the channel axes to recreate the ECG ***,we take advantage of prior knowledge of where the valuable information is in the *** then apply a knowledge-based weighted Principle Component Analysis to reduce the noise and extract the valuable waveform with the recreated ECG signal.
Vector Taylor Series (VTS) model based compensation approach has been successfully applied to various robust speech recognition tasks. In this paper, a novel method to derive the formula to calculate the static and dy...
详细信息
ISBN:
(纸本)9781479928941
Vector Taylor Series (VTS) model based compensation approach has been successfully applied to various robust speech recognition tasks. In this paper, a novel method to derive the formula to calculate the static and dynamic statistics based on second-order VTS (sVTS) is presented, which provides a new insight on the VTS approximation. Lengthy derivation could therefore be avoided when high order VTS is used and the proposed approach is more compact and easier to implement compared to previous high order VTS approaches. Experiments on Aurora 4 showed that the proposed sVTS based model compensation approach obtained 16.7% relative WER reduction over traditional first-order VTS (fVTS) approach.
The π calculus and the safe ambient calculus are two of the widely studied variants of process calculi in the field of concurrency *** former is the most classic model for mobile processes and the latter is well know...
详细信息
The π calculus and the safe ambient calculus are two of the widely studied variants of process calculi in the field of concurrency *** former is the most classic model for mobile processes and the latter is well known for its nested ***,the relationship between these two models deserves further *** this paper,we reinvestigate this problem *** first give the strengthened encoding *** we propose the encoding of the synchronous π-calculus into the safe ambients *** encoding scheme is a generalization and improvement of Levi and Sangiorgi’s work when moving from the asynchronous π-calculus to the synchronous π-*** show the merits of the encoding by checking the mentioned criteria.
In this paper we present a new process calculus VPCΣ and an interpretation for core Erlang. VPCΣ is at least as expressive as VPC and it is more effective for verification with some built-in functions. The wellestab...
详细信息
作者:
尹强龙环Laboratory of Basic Study in Computing Science
MOE-MS Key Laboratory for Intelligent Computing and Intelligent SystemsDepartment of Computer Science and EngineeringShanghai Jiaotong University
In the context of process calculi, higher order π calculus (A calculus) is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, ...
详细信息
In the context of process calculi, higher order π calculus (A calculus) is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, we give a system study of A calculus with respect to the model independent framework. We show the coincidence of the context bisimulation to the absolute equality. We also build a subbisimilarity relation from A calculus to the π calculus.
Motion blur is caused by the camera shake during the exposure in which the blur kernel describes the trace of shaking. Based on this generating process of the kernel , we observed that the distribution of the kernel o...
详细信息
Hashing for large scale image retrieval has become more and more popular because of its improvement in computational speed and storage reduction. Spectral Hashing (SH) is a very efficient unsupervised hashing method t...
详细信息
In image classification based on Bag-of-Features(BoF), the Locality-constrained Linear Coding (LLC) is a successful implementation, which is a more effective coding scheme compared with the traditional vector quantiza...
详细信息
暂无评论