Learn More
— Call admission control algorithms that reduce dropped calls in CDMA cellular systems are discussed in this paper. The capacity of a CDMA system is confined by interference of users from both inside and outside of the target cell. Earlier algorithms for call admission control is based on the effective traffic load for the target cell if one call is(More)
A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can be implemented by invoking classical reasoners to keep the same complexity as under the classical semantics. However, this approach has so far only been studied for the basid description(More)
Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage that it can be implemented by invoking classical reason-ers to keep the same complexity as classical semantics. In this paper, we further study how to extend the four-valued semantics to more(More)
Although myocyte cell transplantation studies have suggested a promising therapeutic potential for myocardial infarction, a major obstacle to the development of clinical therapies for myocardial repair is the difficulties associated with obtaining relatively homogeneous ventricular myocytes for transplantation. Human embryonic stem cells (hESCs) are a(More)
In this paper, we present an approach for measuring inconsistency in a knowledge base. We first define the degree of inconsistency using a four-valued semantics for the description logic ALC. Then an ordering over knowledge bases is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for(More)
—This paper describes a method for analyzing the bifurcation phenomena in switched dynamical systems whose switching borders are varying periodically with time. The type of systems under study covers most of power electronics circuits where two or more dynamical systems are cyclically switched according to the interaction of the state variables and some(More)
Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we first present the quasi-classical semantics for description logic SHIQ, which is based on quasi-classical logic. We show that this semantics can be used to deal with inconsistency and that it is(More)