a method based on electrical capacitance tomography (ect) and an improved least squares support vector machine (ls-svm) is proposed for void fraction measurement of oil-gas two-phase flow. in the modeling stage, to solve the two problems in ls-svm, pruning skills are employed to make ls-svm sparse and robust; then the real-coded genetic algorithm is introduced to solve the difficult problem of ...

The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic manner. These methods are based on an instantiate-projectand-generalize heuristic for the automatic generation of auxiliary constructs and a small model property implying that it is sufficient to check validity of a deductive ru...

Chinese character riddle is a riddle game in which the riddle solution is a single Chinese character. It is closely connected with the shape, pronunciation or meaning of Chinese characters. The riddle description (sentence) is usually composed of phrases with rich linguistic phenomena (such as pun, simile, and metaphor), which are associated to different parts (namely radicals) of the solution ...

We present the results of a large-scale, end-to-end human evaluation of various sentiment summarization models. The evaluation shows that users have a strong preference for summarizers that model sentiment over non-sentiment baselines, but have no broad overall preference between any of the sentiment-based models. However, an analysis of the human judgments suggests that there are identifiable ...

With the progress in machine translation, it becomes more subtle to develop the evaluation metric capturing the systems’ differences in comparison to the human translations. In contrast to the current efforts in leveraging more linguistic information to depict translation quality, this paper takes the thread of combining language independent features for a robust solution to MT evaluation metri...

تشخیص خودکار نوع مدولاسیون سیگنال دریافت شده، وظیفه اصلی یک گیرنده هوشمند است. این وظیفه زمانی که گیرنده اطلاعاتی در مورد سیگنال دریافتی و یا کانال ندارد، مشکل تر خواهد شد. در ابتدا، دسته بندی کننده بیشینه درست نمایی (ml) برای دسته بندی مدولاسیون های دامنه - فاز در محیط همدوس ارائه شده است. به خوبی مشخص است که دسته بندی کننده ml نیاز به آگاهی اولیه به برخی از پارامترهای سیگنال دریافتی و کانال (...

Recently a few systems for automatically solving math word problems have reported promising results. However, the datasets used for evaluation have limitations in both scale and diversity. In this paper, we build a large-scale dataset which is more than 9 times the size of previous ones, and contains many more problem types. Problems in the dataset are semiautomatically obtained from community ...