Video event detection is an important research area *** the video event is a key problem in video event *** this paper,we combine dynamic description logic with linear time temporal logic to build a logic system for v...
详细信息
Video event detection is an important research area *** the video event is a key problem in video event *** this paper,we combine dynamic description logic with linear time temporal logic to build a logic system for video event *** proposed logic system is named as LTD_(ALCO)which can represent and inference the static,dynamic and temporal knowledge in one uniform logic *** on the LTD_(ALCO),a framework for video event detection is *** video event detection framework can automatically obtain the logic description of video content with the help of ontology-based computer vision techniques and detect the specified video event based on satisfiability checking on LTD_(ALCO)formulas.
Learning to rank is designed to determine a ranking for the target objects according to some rule. Specifically, the problem about learning to rank is to learn a ranking function from a training set whose data has bee...
详细信息
ISBN:
(纸本)9787894631046
Learning to rank is designed to determine a ranking for the target objects according to some rule. Specifically, the problem about learning to rank is to learn a ranking function from a training set whose data has been ranked. It is most applied to the social sciences and information retrieval. Learning to rank is a hot issue in the field of information retrieval and machine learning at present. This paper analyses the process of Ranking Support Vector machine (RSVM) from a theoretical point of view from the classification and regression respectively, and sets up the two basic mathematical models about RSVM. The general introduction about RSVM in the application, training speed and generalization ability is also given. In the end, we come to a conclusion.
Minimum Error Rate Training (MERT) as an effective parameters learning algorithm is widely applied in machine translation and system combination area. However, there exists an ambiguity problem in respect to the train...
详细信息
Minimum Error Rate Training (MERT) as an effective parameters learning algorithm is widely applied in machine translation and system combination area. However, there exists an ambiguity problem in respect to the training goal and it is hard for MERT to tackle, that is different parameters may lead to the same minimum error rate in training but greatly different performances in testing. We propose a novel training objective as the unique goal for training towards, namely partial references, and by use of conditional random fields (CRF) to cast the decoding procedure in system combination as a sequence labeling problem. Experiments on Chinese-English translation test sets show that our approach significantly outperforms the MERT-based baselines with less training time.
This paper proposed an improved particle swarm optimization algorithm (IPSO) to solve continuous function optimization problems. Two improvement strategies named "Vector correction strategy" and "Jump o...
详细信息
In the process of power load forecasting, electricity experts always divide the forecasting situation into several categories, and the same category uses the same forecasting model. There exists such a situation that ...
详细信息
In traditional Chinese pulse diagnosis (TCPD), diseases of internal organs can be detected by recognizing pulse waveform patterns of wrist radial arterial. However pulse waveform analysis, for which Doppler diagnosis ...
详细信息
In traditional Chinese pulse diagnosis (TCPD), diseases of internal organs can be detected by recognizing pulse waveform patterns of wrist radial arterial. However pulse waveform analysis, for which Doppler diagnosis is a powerful tool, is limited to cardiovascular diseases. This paper tries to fill the gap between TCPD and Doppler diagnosis by applying signal analysis and pattern recognition technologies to Doppler blood flow signals (DBFS's) of wrist radial arterial, which are recorded from both hands of healthy people, gastritis and cholecystitis patients. DBFS's are classified using the features proposed by an L2-soft margin support vector machine (L2-SVM): five clinical Doppler parameters (DP), wavelet energies (WE), wavelet packet energies (WPE), and piecewise axially integrated bispectra (PAIB). 5-fold cross validation is used for performance evaluation. The sick are differentiated from the healthy with an accuracy of about 80% using DP, WE and WPE, while the classification rate between gastritis and cholecystitis reaches 100%. Using PAIB, ether two groups of subjects are classified with accuracy greater than 93%. Gastritis is more accurately recognized than cholecystitis, while the latter is recognized with a higher accuracy on data from the left hand than right. Though the sample size is relatively small, we still argue that the methods proposed here are effective and could serve as an assisstive tool for TCPD.
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.
Ana\ysis of electromagnetic scattering characteristics from wire antennas using method of moments has been performed over the past decades. In this paper, an efficient technique is adopted to evaluate the potential an...
详细信息
Ana\ysis of electromagnetic scattering characteristics from wire antennas using method of moments has been performed over the past decades. In this paper, an efficient technique is adopted to evaluate the potential and reaction integrals arising in radar cross section (RCS) computation of cylindrical antenna by method of moments. The singularity of potential and reaction integrals is extracted through the semi-analytical method. The induced current on the surface and RCS of cylindrical antenna are calculated. Numerical examples are presented to illustrate the computational accuracy and efficiency of the proposed technique.
A new incident source with different angles was constructed for dealing with wide-angle scattering problems. Considering the impendence matrix in method of moments (MOM) is independent from incident angles, the equiva...
详细信息
In this paper, we proposed a tunnel morph model for bio-signal waveform in measuring their similarity. Firstly, the formal specifications of bio-signal waveforms are given. And then, a series of model establishing rel...
详细信息
In this paper, we proposed a tunnel morph model for bio-signal waveform in measuring their similarity. Firstly, the formal specifications of bio-signal waveforms are given. And then, a series of model establishing related definitions are presented. These definitions contain waveform segmentation; waveforms distance measurement, and tunnel width computation. Moreover, on the base of the model, a similarity measuring strategy which takes the curve feature of bio-signal into account was presented. In the end, the strategy was compared with other similarity measurement methods by AECG (Ambulatory Electrocardiogram) waveform data. The data are adopted from MIT/BIH arrhythmia database. Experiment results show that the sensitivity and the positive predictivity of the strategy based on tunnel morph model are prior to other strategies.
暂无评论