Analysis approaches of liveness are important to Petri nets theory,but the relevant research work in the past is still *** paper proposed a new modified reachability graph(NMRG) approach for liveness analysis of ω-in...
详细信息
Analysis approaches of liveness are important to Petri nets theory,but the relevant research work in the past is still *** paper proposed a new modified reachability graph(NMRG) approach for liveness analysis of ω-independent Petri *** NMRG of a Petri net is transformed from its NMRT and can be used to analyze liveness and deadlock of ω-independent unbound Petri nets.A sufficient condition of liveness and a sufficient and necessary condition of deadlock of ω-independent Petri nets are proposed on the basis of *** are given to illustrate the method.
In this paper, we perform Chinese text classification using n-gram text representation on TanCorp which is a new large corpus special for Chinese text classification more than 14,000 texts divided into 12 classes. We ...
详细信息
In this paper, we proposed a novel and practical solution for the real-time indoor localization of autonomous driving in parking lots. High-level landmarks, the parking slots, are extracted and enriched with labels to...
详细信息
In this paper, a new method is proposed to evaluate the performance of concurrent systems. A concurrent system consisting of multiple processes that communicate via message passing mechanisms is modeled by a Petri net...
详细信息
This paper proposes a generalized model by extending Markov chain with spatial resources labels, which can describe the functional and performance properties and some basic characteristics such as nondeterminacy and r...
详细信息
Pair-wise testing is a testing criterion based on specification, which requires that for each pair of parameters, every combination of their valid value should be covered by at least one test case in the test set. Thi...
详细信息
Partial order reduction techniques have been used to combat the state explosion problem in model checking procedures for concurrent systems with probabilistic behaviors. There are some results that give criteria on ap...
详细信息
In this paper, we present a file search mechanism that can utilize the ontology alignments to facilitate file retrieval on resource-limited devices by exploiting the knowledge of more than one ontologies. This enables...
详细信息
Ontology alignment has been one of the most significant research issues to bridge the semantic gap between heterogeneous systems toward Semantic Web. Many proposed systems in recent years, use multiple similarity meas...
详细信息
Machine learning techniques have facilitated image retrieval by automatically classifying and annotating images with keywords. Among them Support Vector Machines (SVMs) are used extensively due to their generalization...
详细信息
暂无评论