Sciweavers

1155 search results - page 51 / 231
» Elaborating Domain Descriptions
Sort
View
FM
2006
Springer
121views Formal Methods» more  FM 2006»
13 years 11 months ago
Properties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
DLOG
2007
13 years 10 months ago
Deciding ALBO with Tableau
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
Renate A. Schmidt, Dmitry Tishkovsky
BMCBI
2010
107views more  BMCBI 2010»
13 years 7 months ago
Semantic annotation of morphological descriptions: an overall strategy
Background: Large volumes of morphological descriptions of whole organisms have been created as print or electronic text in a human-readable format. Converting the descriptions in...
Hong Cui
ICCV
2011
IEEE
12 years 7 months ago
Domain Adaptation for Object Recognition: An Unsupervised Approach
Adapting the classifier trained on a source domain to recognize instances from a new target domain is an important problem that is receiving recent attention. In this paper, we p...
Raghuraman Gopalan, Ruonan Li, Rama Chellappa
KI
2002
Springer
13 years 7 months ago
Description Logics for the Semantic Web
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description Logics are often named as one of the tools that can support th...
Franz Baader, Ian Horrocks, Ulrike Sattler