The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Deep Convolutional Neural Networks(DCNNs) have recently shown great performance in many high-level vision tasks, such as image classification, object detection and more recently outdoor semantic segmentation. However, the convolutional layer only process the local regions in the image, ignoring the global context information. To overcome this poor localization property of Convolutional Neural Networks(CNNs),...
A human upper-limb endoskeleton has 7 degrees of freedom to achieve various tasks dexterously. Therefore, the biological structures of human arm are attractive to researchers, and in this paper, a 7-DOF (degree of freedom) humanoid arm with cable-driven is presented. For CDHA inheriting the human arm's natural features, it is expected to possess the remarkable advantages of a human arm. Then a critical...
This paper shows that FFT algorithm will be used to calculate the option prices according to characteristic functions of the stock log-prices. The statistical models of stock returns, the historical date of options, parameter estimation methods will be concerned. We will use the stable distribution to fit the Chinese stock market returns statistical distribution, and then compare with Black-Scholes...
This paper presents a survey of the state-of-art of formal verification technique. The expression models for formal verification are introduced and analyzed. The characteristics of each model are expounded. Moreover, the typical model checking techniques are studied. Equivalence checking and property checking are introduced. The development trend for formal verification is discussed.
M-learning is short for mobile learning, that takes place with the help of mobile devices to access course materials everywhere and at anytime; In order to improve data transmission and storage of M-learning system, mobile database technology was introduced. Mobile devices' many features, such as mobility, disconnection, heterogeneity and distribution, etc, make traditional transaction processing...
Artificial neural networks are nonlinear dynamic systems which are constituted of abundant simple processing unites, their characteristics include parallel computing, memory distributing, self-learning and self-organization, etc. They are used to solve many artificial intelligence problems that are very difficult or impossible to be solved by traditional computer. Based on theory of the semiconductor...
Feature selection method based on text study is a mainstream method currently, whose research key lies in finding out one suitable feature assessment method, which can reduce the numbers of the words to be processed as less as possible in the situation of not decreasing classification precision, to improve the speed and the efficiency of classification. A new feature assessment method entropy ratio...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.