In this article, we investigate the problem of preparing qualitative spatial relations before implementing spatial data mining by checking consistency in a constraint network, which includes topological and cardinal d...
详细信息
Intensity degradations are a familiar problem for fluorescein angiogram sequences. In this paper, we attempt to super-resolve a fluorescein angiogram, and to keep the high intensity pixels from degrading. To this end,...
详细信息
Q-learning is an effective model-free reinforcement learning algorithm. However, Q-learning is centralized and competent only for single agent learning but not multi-agent learning because in later case the size of st...
详细信息
Q-learning is an effective model-free reinforcement learning algorithm. However, Q-learning is centralized and competent only for single agent learning but not multi-agent learning because in later case the size of state-action space is huge and will grow exponentially with the number of agents increasing. In the paper we present a distributed Q-learning algorithm to solving this problem. In our algorithm, the tasks of learning optimal action policy are distributed to each agent in team but not a central agent. In order to reduce the size of action-state space of multi-agent team we introduce a state-action space sharing strategy of agent team, through which one agent in team can use the states already explored by other agents before and need not take time to explore these states again. Additionally, our algorithm has the ability to allocate sub-goals dynamically among agents according to environment changing, which can make agent team coordinate more efficiently. Experiments show the efficiency of our algorithm when it is applied to the benchmark problem of predator-prey pursuit game, also called pursuit game, in which a team of predators coordinate to capture a prey.
CP-networks provide a convenient means for expressing preferences in reasoning, but it is not good at handling preferences with hard constraints. The paper proposes a new approach, which transforms the CP-network with...
详细信息
CP-networks provide a convenient means for expressing preferences in reasoning, but it is not good at handling preferences with hard constraints. The paper proposes a new approach, which transforms the CP-network with hard constraints into one constraint hierarchy, therefore one could process preferences and constraints in a single formalism with fruitful constraint solving algorithms. Furthermore, illustrates it with some examples, proves that the transformation preserves the ceteris paribus property and presents some complexity results. Finally compares it with related work and concludes the paper.
A voting-mechanism-based fuzzy neural network system is proposed in this paper. When constructing the network structure, a generalized class cover problem is presented and its two solving algorithm, an improved greedy...
详细信息
Most of real-life scheduling problems are semi on-line scheduling,where we do not know all the time variables of jobs in ***,solving such dynamic problems is a hot topic of research in Constraint *** this paper we ana...
详细信息
Most of real-life scheduling problems are semi on-line scheduling,where we do not know all the time variables of jobs in ***,solving such dynamic problems is a hot topic of research in Constraint *** this paper we analyze the constraints in the semi on-line scheduling problems and introduce the concept of monotonic about constraints which appear in general dynamic constraint *** designed a generic dynamic constraint solving algorithm for solving the scheduling *** give an example of its application to semi on-line discrete resource-constrained scheduling problem(ship-loading problem).
This paper proposes a novel registration algorithm based on Pseudo-Polar Fast Fourier Transform (FFT) and Analytical Fourier-Mellin Transform (AFMT) for the alignment of images differing in translation, rotation angle...
详细信息
In UML, a modeling language popularly used to describe models at different abstraction levels, sequence diagram and statechart are both used to represent systems' behavior models. A consistency problem may arise d...
详细信息
In UML, a modeling language popularly used to describe models at different abstraction levels, sequence diagram and statechart are both used to represent systems' behavior models. A consistency problem may arise due to the fact that sequence diagram represent interactive behavior of all objects, whereas statechart represent the complete behavior of one specific object. This paper proposes an approach checking the consistency between sequence diagrams and state diagrams. In our approach, statechart is formalized using finite state processes and sequence diagram is represented using messages trace. An existing tool LTSA is used to support our method.
The workflow model is the abstract expression of the workflow or the business process. Following the WfMC reference model, a PKI-based lightweight workflow model named as PBLW is put forward in this paper. The framewo...
详细信息
The workflow model is the abstract expression of the workflow or the business process. Following the WfMC reference model, a PKI-based lightweight workflow model named as PBLW is put forward in this paper. The framework of PBLW is proposed. Based on the time constraint directed graph, the workflow theory model in formalization is described in detail, and the time constraint problems are discussed in order to enhance the time management ability of the workflow model. Furthermore, in order to express the complicated secure access control constraint of the workflow, a conditioned RBAC model based on PKJ technology is presented, according to the traditional RBAC security access control model. Finally, the workflow engine driven algorithms for the workflow instance are given. By the actual inspection and users' feedback, it proves that this model can express the basic requirements of a majority of the process applications.
暂无评论