1856845
Typing evolving ambients
This paper presents a type system that deals with the type evolution problem of the ambient calculus. It breaks the law that the open capability must introduce to the opening process the exact type information of the opened ambient. It can also serve as a general type architecture supporting type evolution. A typical usage of the type system is illustrated in the immobile server example.
6895989
Enhanced Algorithm for Mining Frequently Visited Page Groups
4917474
Effective Visualisation of Workflow Enactment
Although most existing teamwork management systems support user-friendly interface to some extent, few of them have take into consideration of the special requirements of workflow visualisation. This paper realises the unique features of visualisation for run-time workflow, i.e., workflow enactment and execution. We present a detailed discussion of the emerging problems against the general aesthetic criteria for drawing the workflow layout. In order to support most essential workflow enactment facilities, the following three mechanisms are provided. Firstly, Sugiyama algorithm has been systematically incorporated into our prototype to create well structured workflow layout initially. Secondly, when the workflow process dynamically changes, we can adjust workflow layout by our force-scan algorithm to retain the mental maps created earlier among team members. Thirdly, we have also applied the technique of the fisheye view to offer a context focus mechanism for workflow users and to utilise the screen size more effectively. With these visualisation techniques, a better atmosphere may be facilitated for teamwork.
156436
Learning Multiple Related Tasks using Latent Independent Component Analysis
We propose a probabilistic model based on Independent Component Analysis for learning multiple related tasks. In our model the task parameters are assumed to be generated from independent sources which account for the relatedness of the tasks. We use Laplace distributions to model hidden sources which makes it possible to identify the hidden, independent components instead of just modeling correlations. Furthermore, our model enjoys a sparsity property which makes it both parsimonious and robust. We also propose efficient algorithms for both empirical Bayes method and point estimation. Our experimental results on two multi-label text classification data sets show that the proposed approach is promising.
6243197
An application of least squares fit mapping to text information retrieval
This paper describes a unique example-based mapping method for document retrieval. We discovered that the knowledge about relevance among queries and documents can be used to obtain empirical connections between query terms and the canonical concepts which are used for indexing the content of documents. These connections do not depend on whether there are shared terms among the queries and documents; therefore, they are especially effective for a mapping from queries to the documents where the concepts are relevant but the terms used by article authors happen to be different from the terms of database users. We employ a Linear Least Squares Fit (LLSF) technique to compute such connections from a collection of queries and documents where the relevance is assigned by humans, and then use these connections in the retrieval of documents where the relevance is unknown. We tested this method on both retrieval and indexing with a set of MEDLINE documents which has been used by other information retrieval systems for evaluations. The effectiveness of the LLSF mapping and the significant improvement over alternative approaches was evident in the tests.
43250103
An Agent-Based Ontological Approach for Information Reorganisation
This paper presents a novel approach for information reorganisation which is particularly suitable for distributed computing, such as Web services. An agent-based architecture is developed to cope with service agents' on and off and provide semantic support for implementation of complex e-business applications that may span diverse enterprises. A frame-based ontology representation is discussed. The representation is well suited for representing complex relationships that are unavailable in current ontology related work. Our approach aims to support dynamic information reorganisation in the Internet based e-business applications. The obtained information can serve for the knowledge acquisition purpose.
13986906
Decentralised Coordination for Software Process Enactment
Software process enactment mainly involves coordination of relevant team members to enact various tasks, which is supported by a centralised client/server architecture traditionally. This paper adopts concepts from peer-to-peer computing and presents an innovative approach to support decentralised process enactment. With this approach, team members are supported with coordination by direct communication among peers, which reflects applications’ increasingly distributed nature better. In addition, as a software process may be modelled incompletely at modelling time, a mechanism supporting run-time refinement of incomplete processes is also described in this paper.