The quality of an ontology is an important factor that determines its utility. In order to assure its quality, in addition to form-based evaluation as to whether the ontology being constructed is written properly in t...
详细信息
ISBN:
(数字)9783642180293
ISBN:
(纸本)9783642180286
The quality of an ontology is an important factor that determines its utility. In order to assure its quality, in addition to form-based evaluation as to whether the ontology being constructed is written properly in terms of its form (syntax), content-based evaluation as to whether the ontology properly represents the target domain, whether the ontology actually serves for problem solving, etc. is also necessary. In this study, we investigate a framework for quality assurance of ontologies in Hozo, which is an environment for building/using ontologies that are being developed by the authors. As form-based evaluation, Hozo provides various assistance functions for properly editing an ontology in compliance with the rules. As content-based evaluation, Hozo introduce a method for supporting ontology evaluation thorough conceptual maps which are generated according to the user's viewpoint.
Most of the research in self-adaptive software systems is concerned with self-adaptation as response to change in its environment, which threatens system's efficiency and operation. But except for avoiding and res...
详细信息
ISBN:
(纸本)9783642231629
Most of the research in self-adaptive software systems is concerned with self-adaptation as response to change in its environment, which threatens system's efficiency and operation. But except for avoiding and resolving system disturbances, there could be another reason for self-adaptation the reason for exploration. This paper applies the concept of exploratory change to self-adaptive software systems and proposes a new paradigm for self-adaptation named exploratory self-adaptation.
This paper reports on an effort to build a tool for modeling, manipulation, and analysis of concurrent systems. The tool implements the CCS process language and can build labeled transition systems in Aldebaran format...
详细信息
ISBN:
(纸本)9783642286636
This paper reports on an effort to build a tool for modeling, manipulation, and analysis of concurrent systems. The tool implements the CCS process language and can build labeled transition systems in Aldebaran format from CCS expressions. Furthermore, it can be used to reduce the state space of a labeled transition system and to check whether two labeled transition systems exhibit the same behaviour, using two behavioural equivalences: strong and weak bisimulation equivalence. The tool has the functionality needed to perform modeling, specification, and verification, illustrated on one classical example in the concurrency theory: the Alternating Bit Protocol.
Proteins are the main, building cell blocks, responsible for the existing cell biological processes. Therefore, precise knowledge of protein function is of great significance. There are a lot of methods which are used...
详细信息
ISBN:
(纸本)9783642286636;9783642286643
Proteins are the main, building cell blocks, responsible for the existing cell biological processes. Therefore, precise knowledge of protein function is of great significance. There are a lot of methods which are used for protein comparison and for determining protein function. Some of them use structure alignment, others use sequence alignment, while some use protein descriptors. Here, we use two protein descriptors: Voxel and Ray-based descriptors to encode the structural and biological features of proteins. In biology there is a trend to hierarchically organize the things, like protein functions, cell components and the whole living world. There are a lot of classification systems which generate proteins in tree structure. However, due to the fact that it often happens that one protein has more than one parent, the Directed Acyclic Graph (DAG) hierarchy is used. Gene Ontology (GO) is a system for structural and hierarchical representation of proteins and gene products which support DAG hierarchy. CLUS, however, is a system which deals with hierarchical data. In this paper, we present a comparison between the two previously mentioned protein descriptors for predicting protein function. Firstly, protein descriptors are extracted from the structural coordinates found in the Protein Data Bank (PDB) and proteins backbone, appropriately. Afterwards, GO class hierarchy is added to each protein which has descriptor data. This created file is used as an input to the CLUS system. CLUS generates a decision tree model which is trained from the protein structure. The results from this system are the GO classes in which the protein belongs. The generated output shows that the predicting protein function with the Voxel protein descriptor gives better results instead of predicting protein function with the Ray protein descriptor.
The goal of this work is to design an environment which makes it possible to build systems allowing flexible composition. Such systems may be used for modelling an organisation with a high level of complexity, with fu...
详细信息
ISBN:
(纸本)9783642198748
The goal of this work is to design an environment which makes it possible to build systems allowing flexible composition. Such systems may be used for modelling an organisation with a high level of complexity, with functionalities on different levels, realising heterogeneous activities. We use concepts and assumptions offered by multi agent and holonic approaches. Theoretic representation of the abstract holon structure is given and a model for building a realisation for a domain, focusing especially on building and reorganising holons. The domain is the management of the transportation company and a delivery strategy for it. Selected results provided by the developed system are presented.
In this paper we present a new mechanism for representing the long-term interests of a user in a user profile. Semantic relatedness between the profile terms is measured by using the web counting based method. Profile...
详细信息
ISBN:
(纸本)9783642231629
In this paper we present a new mechanism for representing the long-term interests of a user in a user profile. Semantic relatedness between the profile terms is measured by using the web counting based method. Profile terms are associated through their sets of inductions words, representing highly related words to the terms that are found out through their co-occurrence in the web documents and semantic similarity. The relation between the two profile terms is then calculated using the combination of their corresponding sets of induction words. Although we have used the mechanism for long-term user profiling, applications can be more general. The method is evaluated against some benchmark methods and shows promising results.
In this paper class posterior distributions are combined with a hierarchal structure of multilayer Perceptrons to perform an automatic assessment of dysarthric speech. In addition to the standard Mel-frequency coeffic...
详细信息
ISBN:
(纸本)9783642196430
In this paper class posterior distributions are combined with a hierarchal structure of multilayer Perceptrons to perform an automatic assessment of dysarthric speech. In addition to the standard Mel-frequency coefficients, this hybrid classifier uses rhythm-based features as input parameters since the preliminary evidence from perceptual experiments show that rhythm troubles may be the common characteristic of various types of dysarthria. The Nemours database of American dysarthric speakers is used throughout experiments. Results show the relevance of rhythm metrics and the effectiveness of the proposed hybrid classifier to discriminate the levels of dysarthria severity.
intelligent Traffic Management is undoubtedly a promising solution to tackle modern cities' problems related to the growth of the urban traffic volume as it is a non-invasive approach when compared to intervention...
详细信息
ISBN:
(纸本)9783642198748
intelligent Traffic Management is undoubtedly a promising solution to tackle modern cities' problems related to the growth of the urban traffic volume as it is a non-invasive approach when compared to interventions to the road network structure. Among possible solutions aiming at intelligent Traffic Management, we believe that Multi-Agent Systems are the most appropriate metaphor to deal with complex domains such as road networks and traffic management and control systems. However, we feel that traffic management and control, particularly intelligent traffic control, is an issue that has not yet been addressed to its full potential. Therefore, we propose in our approach to use TraSMAPI, a tool that offers the possibility of developing real-time Multi-Agent solutions over microscopic simulators, as a basis for the development of intelligent traffic management systems aiming at the creation of revolutionary solutions in the field of traffic and transport systems.
In this paper, we propose a novel normal parameter reduction algorithm of soft sets based on the oriented-parameter sum, which can be carried out without parameter important degree and decision partition. We present s...
详细信息
ISBN:
(纸本)9783642205040
In this paper, we propose a novel normal parameter reduction algorithm of soft sets based on the oriented-parameter sum, which can be carried out without parameter important degree and decision partition. We present some new related definitions and proved theorems of normal parameter reduction. The comparison result on a Boolean-valued dataset shows that, the proposed algorithm involves relatively less computation and is easier to implement and understand as compared with the soft set-based algorithm of normal parameter reduction.
The aim of this paper is to compare the performance between three hypervisors: XEN-PV, XEN-HVM and Open-VZ. We have simulated the migration of a virtual machine by using a warning failure approach. Based on some exper...
详细信息
ISBN:
(纸本)9783642286636;9783642286643
The aim of this paper is to compare the performance between three hypervisors: XEN-PV, XEN-HVM and Open-VZ. We have simulated the migration of a virtual machine by using a warning failure approach. Based on some experiments we have compared CPU Consumption, Memory Utilization, Total Migration Time and Downtime. We have also tested the hypervisor's performance by changing the packet's size from 1500 byte to 64 byte. From these tests we have concluded that Open-VZ has a bigger CPU Consumption than XEN-PV, but the Total Migration time is smaller than in XEN-PV. XEN-HVM has a worse performance than XEN-PV, especially regarding to downtime parameter.
暂无评论