Sciweavers

4290 search results - page 62 / 858
» Formal Approaches to Teamwork
Sort
View
DLOG
2009
15 years 4 months ago
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
Irma Sofia Espinosa Peraldi, Atila Kaya, Ralf M&ou...
CCS
2009
ACM
16 years 7 months ago
Formalizing information security knowledge
Unified and formal knowledge models of the information security domain are fundamental requirements for supporting and enhancing existing risk management approaches. This paper de...
Stefan Fenz, Andreas Ekelhart
PKDD
2009
Springer
170views Data Mining» more  PKDD 2009»
16 years 28 days ago
Statistical Relational Learning with Formal Ontologies
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
Achim Rettinger, Matthias Nickles, Volker Tresp
SPATIALCOGNITION
2004
Springer
15 years 11 months ago
Modelling Models of Robot Navigation Using Formal Spatial Ontology
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
John A. Bateman, Scott Farrar
ECBS
2003
IEEE
115views Hardware» more  ECBS 2003»
15 years 11 months ago
Details of Formalized Relations in Feature Models Using OCL
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
Detlef Streitferdt, Matthias Riebisch, Ilka Philip...