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.
Model checking has been pervasive and successful in finding bugs in hardware and software systems, including real-time and probabilistic systems. Applying model checking to decision making is relative new and has an excellent potential to be compliment to data analytics and other Artificial Intelligent (AI) or Operational Research (OR) based decision making techniques. Our last 8 years research has...
Motivated by timesaving when dealing with the large-scale calculation for data modeling in parallel with multiple CPU cores or machines and result comparison, PML was designed in this study. PML has the ability to do dimension reduction and grid search in parallel, support both classification and regression, and could generate HTML pages as output for results comparison. Written in PERL, PML is compatible...
Conventional k-means only considers pair wise similarity during cluster assignment, which aims to minimizing the distance of points to their nearest cluster centroids. In high dimensional space like document datasets, however, two points may be nearest neighbors without belonging to the same class. Thus pair wise similarity alone is often insufficient for class prediction in such space. To that end,...
By analysis of web user access sequence, we can find the factors of user's hobbies, interests, habits etc. and provide the necessary support of information for the upgrade and amendment of web sites. This article proposed a method of data mining MFASMDT (Maximal Frequent Access Sequence Mining of Duration Time). It can reduce the number of web pages of the session sequence and compress the size of...
To further improve the tagging performance of single classifiers, a classifiers ensemble experimental framework is presented for gene mention tagging. In the framework, six classifiers are constructed by four toolkits (CRF++, YamCha, Maximum Entropy (ME) and MALLET) with different training methods and feature sets and then combined with a two-layer stacking algorithm. The recognition results of different...
With the development of remote sensing technology and network, a wide range of space information civilian use make remote sensing images security more and more attention. On the basis of the characteristics of large amount of remote sensing data but real-time transmission or access, a scheme of authorizing the use of remote sensing images based on multi-rank security through Internet distribution...
The purpose of this study is to obtain an approximate even guide stars catalog (GSC) applied in star trackers, thus a guide stars selection algorithm via support vector machines (SVM) is presented. Using combination of the number of stars and Boltzmann entropy within circular region centered at every star of original catalog(OC) as feature vector, the local density and uniformity of each star from...
Semistructured data has become more and more prominent in the fast growing areas of web information technology. XML has been used as a standard format for semistructured data in representing and exchanging information in various applications. However, the lack of formality and verification support in the design of a good semistructured data model may hinder its development. For example, redundant...
This paper seeks to answer the following two questions: which management factors have great effect on the management performance of telework teams? and How should management choose suitable team members for telework? The research will use experimental methods for exploring the novel topic of management performance of telework teams. The experimental design, implementation and result analysis was done...
This paper is concerned with constrained roll control of ship fin stabilizers operating in wave fields. Our approach is based on a robust control algorithm for linear discrete-time systems subject to bounded additive disturbances and a general class of input-state constraints. The proposed method is applied to control of fin stabilizers. Simulation results show that the proposed robust control method...
The problem of path following for marine surface vessels using the rudder control is addressed in this paper. The need to enforce the roll constraints and the fact that the rudder actuation is limited in both amplitude and rate make the model predictive control (MPC) approach a natural choice. The MPC design is based on a linearized model for computational and implementation considerations, while...
With the development of Electronic commerce, more and more transactions on information goods or services have been or will be conducted through the Internet, which involve small value payment that called micro-payment. Therefore, micro-payment is one of the most popular research aspects with focus on the field of electronic payment. Many efficient micro-payment schemes were proposed based on PayWord...
Web services have become popular in the modern infrastructure of the World Wide Web. They aim to provide automatic discovery, selection, and invocation of required applications (services) across the internet. However, the quality assurance aspects of Web services remain a challenge. Recently, the semantic Web has been introduced as an emerging technology which emphasizes presenting the meaning of...
With the increasing development of the Internet and electronic commerce, electronic payment systems have gradually become an important issue nowadays. Business-to-business e-commerce model involves a complex process with large transaction size, so that B2B payment is the next focus of the popular research topics on electronic commerce. Though there are many existing e-payment protocols designed for...
An important property of adaptive laws without robustness modifications and in the absence of plant uncertainties is the exponential convergence of the estimated parameters to their true ones under some persistent excitation (PE) condition on the information signal vector. When the adaptive laws are modified for robustness this ideal property of parameter convergence may no longer be maintained due...
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.