The aim of this article is to design a truth maintenance system (TMS) which allows us to overcome some of the shortcomings of the use of multivalued logic versus classical logic in the deduction process. The detection of inconsistencies, belief revision, and justification of results obtained are som
A generic ATMS
โ Scribed by Juan Luis Castro; Jose Manuel Zurita
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 975 KB
- Volume
- 14
- Category
- Article
- ISSN
- 0888-613X
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Model-based diagnosis theory allows one to diagnose a system just by using the equations which describe the system structure and the correct behavior models of system components. CATS is an algorithm which implements the model-based diagnosis theory in the framework of interval arithmetic. Simple or
In this paper, we present a new explicit rate ABR switch algorithm which takes advantage of the per-VC queueing and scheduling mechanisms of next-generation ATM switches to obtain an efficient algorithm of low complexity. The performance characteristics of the proposed algorithm such as fairness, li