287 search results - page 51 / 58 » Automated abstraction of class diagrams |
DLOG
2007
13 years 9 months ago
2007
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...
DLOG
2010
13 years 5 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
DPD
2007
13 years 7 months ago
2007
Abstract. Universal Business Language (UBL) is an OASIS initiative to develop common business document schemas to provide document interoperability in the eBusiness domain. Since t...
MICCAI
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. The automation of segmentation of medical images is an active research area. However, there has been criticism of the standard of evaluation of methods. We have comprehen...