1928 search results - page 157 / 386 » Integrity Constraints in OWL |
PKDD
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
ICONS
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
ASIAMS
2007
IEEE
14 years 5 months ago
2007
IEEE
The implicit approach can be used to efficiently model realistically deformable objects for large constraints such as stiffness or time. In soft bodies with pressure forces, model...
ACCV
2007
Springer
14 years 5 months ago
2007
Springer
In this paper, we present a novel foreground extraction method that automatically identifies image regions corresponding to a common space region seen from multiple cameras. We as...
ADVIS
2006
Springer
14 years 4 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...