Sciweavers

FATES
2004
Springer
13 years 10 months ago
Using Model Checking for Reducing the Cost of Test Generation
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
Hyoung Seok Hong, Hasan Ural
SEMWEB
2007
Springer
13 years 11 months ago
Learning Subsumption Relations with CSR: a Classification based Method for the Alignment of Ontologies
In this paper we propose the "Classification-Based Learning of Subsumption Relations for the Alignment of Ontologies" (CSR) method. Given a pair of concepts from two onto...
Vassilis Spiliopoulos, Alexandros G. Valarakos, Ge...