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.
Response time plays an important factor in determining the Service Level Agreement (SLA). For the reason that actual measurement costs a large amount of resource, theoretical/numerical analysis based on Stochastic Process Algebra (SPA) is a good choice to obtain the response time of concurrent systems. Among all SPAs, Performance Evaluation Process Algebra (PEPA) is the most popular one due to its...
In this paper, a progressive learning algorithm for multi-label classification to learn new labels while retaining the knowledge of previous labels is designed. New output neurons corresponding to new labels are added and the neural network connections and parameters are automatically restructured as if the label has been introduced from the beginning. This work is the first of the kind in multi-label...
A method of knowledge acquisition for the decision information system whose attribute value of alternatives is three-parameter interval grey number is proposed in this paper. First, in classic rough set, the decision table must be given in advance, but we can only establish information system from the collected data. So, we establish the decision table from information system with the grey relational...
To deal with urban traffic congestion, this paper proposes an actuated green wave method. It extends an arterial actuated bandwidth method to network situations. The arterial bandwidth is based on several key temporal differences to determine phase patterns and offsets. The network is decomposed in such a way that it only consists of arterial bandwidth problems. It adds intersections from the start...
It becomes essential when reasoning about the security risks to critical utilities such electrical power and water distribution to recognize that the interests of producers and consumers do not fully coincide. They may have incentives to behave strategically towards each other, as well as toward some third party adversary. We therefore argue for the need to extend the prior literature, which has concentrated...
Autonomous vehicles would make the future roads safer by keeping the human driver out of the loop. However, reduced degree of human-control could result in loss of the feeling of driving for some drivers. Therefore, in this study we proposed a method of interaction between the driver and autonomous vehicle by allowing the driver to control the vehicle's lateral and longitudinal motions. We adopted...
Taiwan government has recently promoted “Plan for Building Island of Exercise” which has leaded the trend of exercises and increased the needs of various healthcare and fitness products. Prior researches have also pointed out that listening to music with different tempos while exercising apparently affects heart rate, oxygen consumption, breathing rate and other physiological parameters. Among the...
In this paper, the parameter λ would be introduced to forecast grey number sequence that was based on the paper with known whitenization weight function published by Bo Zeng. We use variable weight instead of no-preference generation. So the most appropriate parameter to build the DGM (1,1) would be chose by GA. Then an improved grey prediction model for forecasting interval grey number is proposed...
In order to deal with the subjectivity, epistemic uncertainty and incompleteness of input data, a novel methodology is proposed for interactive decision making between two players based on the graph model for conflict resolution (GMCR) with belief preference. First, a new GMCR model is calibrated, in which belief preferences are generated via evaluating the utilities of feasible states. Second, new...
Recently, workflow fragments gains increasing momentum for reuse and re-purpose in Cyber-Physical Systems. To the end, this article proposes to detect and recommend workflow fragments gratifying e-Scientist requirement. Specifically, most common workflow fragments in the form of layer hierarchy are extracted from scientific workflows, which are collected in the myExperiment repository. Annotations...
This paper describes a variant of the Incremental Ant Colony Optimization algorithm for continuous optimization (IACOℝ). The original IACOℝ approach estimates the Probability Density Function (PDF) using Gaussians constructed around candidate solutions to generate new solutions. We use Support Vector Regression (SVR) to fit a regressor to the candidate solutions. The minima of the fitted regressor...
Many occupations require both physical exertion and the ability to navigate in an environment, simultaneously. This study investigated how intensity of physical activity influences direction determination and distance estimation. Thirty high fit young males participated in a lab study. Results showed that while high fit young males were accurate in determining direction across levels of physical exertion,...
The individual alpha peak frequency (IAPF) is an important biological indicator in Electroencephalogram (EEG) studies, with many research publications linking it to various cognitive functions. In this paper, we propose novel Power Spectral Density (PSD) alpha features based on IAPF to classify 2 and 4 levels of EEG multitasking workload data. When optimized IAPF was considered, a 1.55% and 1.56%...
Magnetic resonance imaging (MRI) can aid in assessing post-ablation scar formation. Automatic segmentation of left atrium (LA) offers great benefits for an accurate statistical assessment of LA region. However, how to robustly segment LA is still remaining as a challenging task for its high anatomical variability. In this paper, a robust segmentation method that exploits semantic information from...
This paper shows the potential of using a physical model of gambling die as an input device for multimedia applications. We present a real-rime method for simulating fair 6-sided die on the base of loaded model of foam-rubber die equipped with inertial measurement unit. The method allows avoiding the negative influence that biased die produces on the final game result. The technique is based on filtering...
In recent, some researches are being developed in medical applications to improve the accuracy of the pose and the joint of the patient. One of the famous existed methods for measuring the matching rate of the pose is by using the rotation angle of the joint. However, there is a problem that the rotational direction is missing when we only consider the rotation angle of the joint. Thus, we propose...
The primary goal of this paper is to investigate what could have made successful Google's OpenSpot, a crowdsensing based parking assistance application cancelled in 2012. For this analysis we have developed UPark, a simulation environment capable of simulating large numbers of vehicles, which look for optimal parking spots in busy urban environments and whose drivers might inform others when they...
In this paper, we are proposing a new formal framework for reasoning on authentication in security protocols based on analytic functions. We give sufficient conditions that, if satisfied, the protocol is declared correct with respect to authentication. We validate our approach on the Yahalom-Lowe protocol. First, we show that it satisfies these few conditions, thus, we conclude that it is correct...
Adaptive Collaboration (AC) has been proven and verified to be a promising methodology to conduct collaboration. AC follows an iterative and dynamic process that includes phases of role negotiation, agent evaluation, role assignment, role playing, and role transfer. However, AC is complex, and the benefits of AC are not easily observed. In particular, the benefits must be obtained through complicated...
Theory exploration has been investigated as the lemma generation methods which play important role in automation of theorem provers. In order to enlarge the scope of provable theorems in the exploration, in this paper we propose an approach of applying the rewriting induction technique in exploration of inductive theorems. Especially, we propose some heuristics for proof search in the rewriting induction...
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.