3564 search results - page 20 / 713 » Evaluating a Formal Modelling Language |
113
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We address the problem of answering Web ontology queries efficiently. An ontology is formalized as a Deductive Ontology Base (DOB), a deductive database that comprises the ontology...
121
click to vote
ECOOPW
1994
Springer
15 years 7 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
124
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
124
click to vote
COLT
2010
Springer
15 years 27 days ago
2010
Springer
In the present paper, we introduce a variant of Gold-style learners that is not required to infer precise descriptions of the languages in a class, but that must find descriptive ...
CRISIS
2008
15 years 4 months ago
2008
We are involved in a project related to the evaluation