The precise prediction of bus routes or the arrival time of buses for a traveler can enhance the quality of bus service. However, many social factors influence people's preferences for taking buses. These social f...
详细信息
Composite convergent services integrate a set of functionalities from Web and Telecommunication domains. Due to the big amount of available functionalities, automation of composition process is required in many fields...
详细信息
The judicial precedent facilitates decision-making by judges based on previous sentences. However, legal professionals should look among a large number of documents sentences serve as support for its ongoing cases. Th...
详细信息
In this paper, a new method is proposed to evaluate the performance of concurrent systems. A concurrent system consisting of multiple processes that communicate via message passing mechanisms is modeled by a Petri net...
详细信息
Many engineering problems are the complex optimization problems with the large numbers of global andlocal optima. Due to its complexity, general particle swarm optimization method inclines towards stagnation phenomena...
详细信息
Many engineering problems are the complex optimization problems with the large numbers of global andlocal optima. Due to its complexity, general particle swarm optimization method inclines towards stagnation phenomena in the later stage of evolution, which leads to premature convergence. Therefore, a highly efficient particle swarm optimizer is proposed in this paper, which employ the dynamic transitionstrategy ofinertia factor, search space boundary andsearchvelocitythresholdbased on individual cognitionin each cycle to plan large-scale space global search and refined local search as a whole according to the fitness change of swarm in optimization process of the engineering problems, and to improve convergence precision, avoid premature problem, economize computational expenses, and obtain global optimum. Several complex benchmark functions are used to testify the new algorithm and the results showed clearly the revised algorithm can rapidly converge at high quality solutions.
Naive Bayes (NB) classifier is a simple and efficient classifier, but the independent assumption of its attribute limits the application of the actual data. This paper presents an approach called Differential Evolutio...
详细信息
This paper describes our group’s first attempt on the Contextual Suggestion Track of the Twenty-fourth Text REtrieval Conference (TREC 2015). The task aims to provide recommendations on attractions for various kinds ...
详细信息
Relational database indexes, used to speed up access to data stored in a database, are maintained when data in the source table of the index is modified. Therefore, relational database index management can involve tim...
详细信息
Relational database indexes, used to speed up access to data stored in a database, are maintained when data in the source table of the index is modified. Therefore, relational database index management can involve time consuming manual analysis and specialized development efforts, and impose organizational overhead and database usage costs, especially in the context of big data. To address this limitation, this paper proposes an asynchronous adaptive delay tolerant index cache using in-memory delta cell. The contributions of index cache are adaptive management and fine-grained delta cell. Finally, our experimental evaluation shows that this simple index cache has the features such as update efficiency with frequent changes, transparency to developers, and low impact on database performance.
Security of a Mobile Agent System (MAS), which has been a barrier to wider applications of a MAS, remains a compelling problem. Formal methods have been applied to this problem, and various formal models have recently...
详细信息
Security of a Mobile Agent System (MAS), which has been a barrier to wider applications of a MAS, remains a compelling problem. Formal methods have been applied to this problem, and various formal models have recently been studied. However, many of them either lack of mechanisms that can protect a MAS or depend on simulation based analysis. In this paper, we concentrate on one specific category of security threats, namely, the agent-platform related security issues, and present a new method for formally modeling and verifying a secure MAS. To model a secure MAS, we equip the MAS with secure mechanisms, and propose an extended logical agent model (ELAM) for formally describing it. By transforming the ELAM to the input model of model checker SPIN, the MAS is further verified by using model checking technique. We apply ELAM to the competing airline carriers system to check its security, and our experimental results show that the proposed method works well in modeling and verifying a secure MAS.
As smart phones with GPS become popular, more and more textual documents with geographical locations are published on the Web. Keyword-based location services like vehicle navigation, tour planning, nearby object quer...
详细信息
暂无评论