44499807
A State-Transfer-Based Dynamic Policy Approach for Constraints in RBAC
RBAC is widely used in access control field, and this paper proposes an approach to implement dynamic policy transfer on this model. Our approach monitors state-transfers of subjects and transfers policies correspondingly. It holds a finite number of states and a policy transfer set containing the predefined policies. When a state-transfer occurs, an appropriate policy chosen from the policy transfer set will be applied to change the user-role mapping or the role-permission mapping from one to another. This policy transfer not only focuses on the current state, but also takes the previous state into consideration since changing from different state will lead to a different current policy.
8051159
A Web-based Framework For On-line Collaborative Learning
This paper presents a framework for design of online courses and collaborative learning based on Web technologies. It provides the following features: construction of structured learning materials in a distributed environment; personalization of course contents in the run-time that adapts to the progress of individual students; it can supply relevant Web resources to the students by analyzing the learning history dynamically; students in a group could exchange their learning experiences and discover relevant knowledge via the communication channels provided by the framework. The proposed techniques could be deployed to a variety of online computer-assisted modules to improve the effectiveness of Web-based e-learning
8340253
UGE4B: An Universal Grid Environment for Bioinformatics Research
Recent years, grid technology has been used widely in the fields of scientific research. In this paper, we present a universal grid environment for bioinformatics research (UGE4B). Although there have been several similar projects successfully constructed in the world, we need to meet some unique requirements from bioinformatics research in China. UGE4B consists of 6 components, including portal, task management, data management, information server, security and computing node. As a national-wide bioinformatics research platform, UGE4B is built through interconnecting multiple sub grids provided by each bioinformatics institutes. Besides provides a universal portal to end users for bioinformatics computing and data accessing, UGE4B also supported some special bioinformatics applications
116588251
On-line evolutionary exponential family mixture
This paper deals with evolutionary clustering, which refers to the problem of clustering data with distribution drifting along time. Starting from a density estimation view to clustering problems, we propose two general on-line frameworks. In the first framework, i.e., historical data dependent (HDD), current model distribution is designed to approximate both current and historical data distributions. In the second framework, i.e., historical model dependent (HMD), current model distribution is designed to approximate both current data distribution and historical model distribution. Both frameworks are based on the general exponential family mixture (EFM) model. As a result, all conventional clustering algorithms based on EFMs can be extended to evolutionary setting under the two frameworks. Empirical results validate the two frameworks.
26669443
Bottom-up discovery of frequent rooted unordered subtrees
In the past decade, XML has emerged as the standard language for information exchanging over the Internet. Due to its tree-structure paradigm, XML is superior for its capability of storing, querying, and manipulating complex data. Therefore, discovering frequent tree patterns over tree-structured data has become an interesting topic for XML data management. In this paper, we propose a tree mining algorithm, named BUXMiner, for finding a special class of frequent trees, called rooted unordered trees, from a tree-structured database. BUXMiner employs an efficient bottom-up approach to enumerate all candidate trees over a compact global tree guide and computes the frequent trees based on the tree guide. In addition to BUXMiner, we also propose a mining approach called BUMXMiner to discover the maximal frequent rooted unordered trees. We compare BUXMiner with previous tree-structure mining algorithms, namely XQPMinerTID and FastXMiner, which were also proposed to discover rooted unordered trees. The experimental results show that our algorithm outperforms XQPMinerTID and FastXMiner in terms of efficiency. The performance results from real-world applications also indicate the usefulness of our proposed tree mining algorithms in a variety of web applications, such as analysis of web page access patterns and mining frequent XML query patterns for caching.
5747087
Efficient Processing of Warping Time Series Join of Motion Capture Data
Discovering non-trivial matching subsequences from two time series is very useful in synthesizing novel time series. This can be applied to applications such as motion synthesis where smooth and natural motion sequences are often required to be generated from existing motion sequences. We first address this problem by defining it as a problem of l-e-join over two time series. Given two time series, the goal of l-e-join is to find those non-trivial matching subsequences by detecting maximal l-connections from the e-matching matrix of the two time series. Given a querying motion sequence, the l-e-join can be applied to retrieve all connectable motion sequences from a database of motion sequences. To support efficient l-e-join of time series, we propose a two-step filter-and-refine algorithm, called Warping Time Series Join (WTSJ) algorithm. The filtering step serves to prune those sparse regions of the e-matching matrix where there are no maximal l-connections without incurring costly computation. The refinement step serves to detect closed l-connections within regions that cannot be pruned by the filtering step. To speed up the computation of e-matching matrix, we propose a block-based time series summarization method, based on which the block-wise e-matching matrix is first computed. Lots of pairwise distance computation of elements can then be avoided by applying the filtering algorithm on the block-wise e-matching matrix.Extensive experiments on l-e-join of motion capture sequences are conducted. The results confirm the efficiency and effectiveness of our proposed algorithm in processing l-e-join of motion capture time series.
34190440
Coercive subtyping for the calculus of constructions
2378122
Self-organized manufacturing resource management: An ant-colony inspired approach
In a typical manufacturing system, jobs are released from a production planning stage to a shop floor, where they are allocated to resources like machines. An optimal or near optimal schedule is generally found for those jobs. In reality, the execution of this schedule is often interrupted by dynamic events like unexpected incoming new jobs, machine breakdowns, etc. A rapid recovery or a self-organized feature of the interrupted schedule is desirable for manufacturing resource management. This paper proposes an ant-colony inspired approach to recover the interrupted schedule through a self-organization mechanism. The experiments show that this mechanism significantly improves the quality of the recovered schedules.
537363
Change propagation algorithm in a unified feature modeling scheme
Product lifecycle stages are inter-related and mutually constraining. Due to the sequential nature of the product development processes, some constraints or conflicts may emerge in a later stage and require modifications to the decisions made in earlier stages. The iterations between stages are hence unavoidable and must be managed carefully to maintain the consistency, integrity and validity of product information models. Due to the inter- or intra-stage relations, a chain of changes is very likely to occur as the consequence of an initial change. Modeling and maintaining these relations are important in collaborative engineering to evolve the state of the whole product model in a consistent manner. This paper introduces a new method of modeling associative engineering relations in a unified feature modeling scheme and elaborates a change propagation algorithm for the information consistency control among multiple applications of product lifecycle stages. The algorithm is established on a JTMS-based dependency network. Two case studies are used to illustrate the proposed dependency network and change propagation algorithm.
1767089
Fast and Practical Algorithms for Computing All the Runs in a String
A repetition in a string x is a substring w = ue of x, maximum e ≥ 2, where u is not itself a repetition in w. A run in x is a substring w = ueu* of "maximal periodicity", where ue is a repetition and u* a maximum-length possibly empty proper prefix of u. A run may encode as many as |u| repetitions. The maximum number of repetitions in any string x = x[1..n] iswell known to be Θ(n log n). In 2000 Kolpakov & Kucherov showed that the maximum number of runs in x is O(n); they also described a Θ(n)-time algorithm, based on Farach's Θ(n)-time suffix tree construction algorithm (STCA), Θ(n)-time Lempel-Ziv factorization, and Main's Θ(n)-time leftmost runs algorithm, to compute all the runs in x. Recently Abouelhoda et al. proposed a Θ(n)-time Lempel-Ziv factorization algorithm based on an "enhanced" suffix array -- a suffix array together with other supporting data structures. In this paper we introduce a collection of fast space-efficient algorithms for computing all the runs in a string that appear in many circumstances to be superior to those previously proposed.
16911875
Study on Fast Fixed-Codebook Search Algorithm in G.729 Speech Coding
G.729 is called Conjugate Structured-Algebraic Code Excited Linear Prediction (CS-ACELP), its fixed-codebook adopts algebraic- codebook. The algebraic structure of the codebook allows for a fast search procedure, but it still requires large computational load using the nested-loop search method. The focused search used in G.729 and the depth-first tree search used in G.729a can reduce the searching complexity efficiently. However it still occupies a larger proportion of whole encoding complexity. In this paper, we study various methods and propose a fast Codebook Search method, it can largely reduce the complexity, and speech still maintain at almost the same quality.