We propose a new method for integrity checking in deductive databases.The methodaugmentsadatabasewith asetof transition and internal eventsrules,which explicitly definetheinsertio...
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...
Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Z. Pa...
Cluster tools are representatives of a special kind of tool where process times of jobs depend on the combination in which they are processed together on the tool and hence, depen...
- The accuracy of interconnect delay estimations can be improved by the method presented in this paper in which the first two moments are obtained with ABCD matrix and a stable mod...
As the result of the development of Fuzzy Multiple Criteria Decision Making (FMCDM) with the help of fuzzy set theory a number of innovations have been made possible. The new appr...