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.
Latent Dirichlet Allocation has been developed as topic-based method which uses reasoning to determine the topics of a document. There are many methods of reasoning used for Latent Dirichlet Allocation, including the Gibbs Sampling and Mean Variational Inference, the most widely used in research. However, there have not been many studies that discuss the implementation of these methods on the Indonesian...
We present a methodology to generate input stimulus for design validation using GoldMine, an automatic assertion generation engine that uses data mining and formal verification. GoldMine mines the simulation traces of a behavioral Register Transfer Level (RTL) design using a decision tree based learning algorithm to produce candidate assertions. These candidate assertions are passed to a formal verification...
Convergence of data mining and process management is ideal - but still limited. An example of such a convergence is presented in the form of APE Framework that addresses the problem of static-agent-assignment-strategies in Workflow Management Systems (WfMS) - one cause of poor business process performance since all eligible agents may be assigned to a task instead of only assigning those which are...
We generalize the convergence, the stability and the averaged converging rate of stochastic parallel gradient descent algorithm when it is used as control algorithm for adaptive optics system in theory. Analysis results show the adaptive optics system can obtain convergence, stability and a factor of n /square root (n is the number of control parameters) speeding compared with sequential gradient...
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.