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,...
详细信息
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...
详细信息
This paper deals with the problem of osculatory rational interpolation. We discuss the existence of the osculatory rational interpolation function for the given interpolation data and construct the relative rational f...
详细信息
This paper deals with the problem of osculatory rational interpolation. We discuss the existence of the osculatory rational interpolation function for the given interpolation data and construct the relative rational function as it exists. Furthermore, we point out that the rational interpolation function exists for almost all given interpolation nodes and corresponding interpolation values. Finally some examples are presented.
This paper deals with Hermite interpolation on nonuniform rectangular grids with constructive algebraic geometry tools. We focus on the UR (U = uniform, R = rectangular sets of nodes) Hermite interpolation schemes. Th...
详细信息
This paper deals with Hermite interpolation on nonuniform rectangular grids with constructive algebraic geometry tools. We focus on the UR (U = uniform, R = rectangular sets of nodes) Hermite interpolation schemes. The expressions of minimal degree interpolation bases for 2-dimensional real space 2 are presented. The method is simple and easy to be generalized.
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.
The reduct of Boolean functions is widely used in many applications, for example: digital circuits. In this paper, we present an approach, which is based on primes, to representing the Boolean system. We present an al...
详细信息
The reduct of Boolean functions is widely used in many applications, for example: digital circuits. In this paper, we present an approach, which is based on primes, to representing the Boolean system. We present an algorithm for reduct of Boolean functions based on primes, and the cost of the algorithm is analyzed to indicate that the algorithm is efficient.
This paper presents a new model to incorporate decision theory into Graphplan framework, which enables our planner to handle uncertainty and make decision to choose the optimal one among a set of hypothesis valid plan...
详细信息
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...
详细信息
暂无评论