This paper proposes a checking method based on mutual instances and discusses three key problems in the method： how to deal with mistakes in the mutual instances and how to deal with too many or too few mutual instan...
详细信息
This paper proposes a checking method based on mutual instances and discusses three key problems in the method： how to deal with mistakes in the mutual instances and how to deal with too many or too few mutual instances. It provides the checking based on the weighted mutual instances considering fault tolerance, gives a way to partition the large-scale mutual instances, and proposes a process greatly reducing the manual annotation work to get more mutual instances. Intension annotation that improves the checking method is also discussed. The method is practical and effective to check subsumption relations between concept queries in different ontologies based on mutual instances.
Fuzzy ontologics are efficient tools to handle fuzzy and uncertain knowledge on the semantic web; but there are heterogeneity problems when gaining interoperability among different fuzzy ontologies. This paper uses co...
详细信息
Fuzzy ontologics are efficient tools to handle fuzzy and uncertain knowledge on the semantic web; but there are heterogeneity problems when gaining interoperability among different fuzzy ontologies. This paper uses concept approximation between fuzzy ontologies based on instances to solve the heterogeneity problems. It firstly proposes an instance selection technology based on instance clustering and weighting to unify the fuzzy interpretation of different ontologies and reduce the number of instances to increase the efficiency. Then the paper resolves the problem of computing the approximations of concepts into the problem of computing the least upper approximations of atom concepts. It optimizes the search strategies by extending atom concept sets and defining the least upper bounds of concepts to reduce the searching space of the problem. An efficient algorithm for searching the least upper bounds of concept is given.
In this paper,we propose a fast motion estimation algorithm of arbitrarily shaped video object in MPEG- *** proposed algorithm incorporates the binary alpha-plane and the extended contour to predict accurately the mot...
详细信息
In this paper,we propose a fast motion estimation algorithm of arbitrarily shaped video object in MPEG- *** proposed algorithm incorporates the binary alpha-plane and the extended contour to predict accurately the motion vectors of boundary macroblocks so that the conventional fast motion estimation algorithms can be employed to search the motion vectors of opaque macro-blocks using the motion vectors of the neighboring boundary macro-blocks as the initial *** results show that the proposed algorithm requires low computation complexity while provides good motion compensation quality.
In this paper, we present a timed automaton reachability analysis algorithm which can use some other properties to improve the model checking efficiency. If the model checker aborts because of memory or CPU time limit...
详细信息
In this paper, we present a timed automaton reachability analysis algorithm which can use some other properties to improve the model checking efficiency. If the model checker aborts because of memory or CPU time limitation when checking a property P, the users can still use a set of auxiliary properties P 1 , P 2 ,..., P n about the system to reduce the space and time requirement. People can verify these auxiliary properties by either model checking or other methods like theorem proving. This algorithm gives the users a way to reduce the space and time requirement of model checking using their knowledge about the system under check.
Problem cognition is often the first step to problem solving. Complex problem solving is often promoted by cooperative cognition. Our research work presented in this paper is initialed by a motivated example. Then met...
Problem cognition is often the first step to problem solving. Complex problem solving is often promoted by cooperative cognition. Our research work presented in this paper is initialed by a motivated example. Then meta-cognition and cooperative cognition are explored by defining their Cognition Logic Context and Cognition Resource Context. Cognition evolution is discussed from the transformation of problem state space. Moreover, the knowledge flow principle engaged in cooperative cognition is explored from the perspective of learning and cognition evolution. To promote cooperative cognition under Web environment, a context application paradigm is proposed based on P2P scenarios. The conclusions and our future works are presented at last.
The degree of malignancy in brain glioma needs to be assessed by MRI findings and clinical data before operations. There have been previous attempts to solve this problem by using fuzzy max-min neural networks and sup...
详细信息
Based on the Dynamic Fuzzy Logic theory [1], this paper analyzes the agent intelligence model from the agent's structure model and the axioms relative to intelligence state. The model supplies the agent learning d...
详细信息
Based on the Dynamic Fuzzy Logic theory [1], this paper analyzes the agent intelligence model from the agent's structure model and the axioms relative to intelligence state. The model supplies the agent learning dynamic under fuzzy environment with an effective theory base and builds a new agent intelligence model based on Dynamic Fuzzy Logic (DFL).
According to the immunology principles of bionics, a grid root-fault detection system is presented. In this paper event detection sequences are viewed as analogous to peptide. With the principle of positive selection ...
详细信息
According to the immunology principles of bionics, a grid root-fault detection system is presented. In this paper event detection sequences are viewed as analogous to peptide. With the principle of positive selection in immunology, the system builds up its event database. And the behavior whose frequency is higher will be analyzed and processed first to improve the speed and effectiveness of fault detection. The experiment system implemented by this method shows a good diagnostic ability
Formalized analyzing the situation of grid and the target of fault diagnosis, a new method - FTFD for grid troubleshooting based on fuzzy event is proposed. By introducing situation-detection function, FTFD can charac...
详细信息
Formalized analyzing the situation of grid and the target of fault diagnosis, a new method - FTFD for grid troubleshooting based on fuzzy event is proposed. By introducing situation-detection function, FTFD can characterize complicated fuzzy fault with accurate mathematics conversion, and "abnormal degree" can be defined by the vector of probability with belief functions. The method can effectively reduce false positives and negative positives. It aims to be applied to real-time fault diagnosis. The operational prototypical system demonstrates its feasibility and gets the effectiveness of real-time fault diagnosis
暂无评论