1928 search results - page 247 / 386 » Integrity Constraints in OWL |
EUROMICRO
1996
IEEE
14 years 2 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
FGR
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper explores the use of fast, simple computer vision techniques to add compelling visual capabilities to social user interfaces. Social interfaces involve the user in natur...
LOPSTR
1997
Springer
14 years 2 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
TIME
1994
IEEE
14 years 2 months ago
1994
IEEE
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
ICLP
1994
Springer
14 years 2 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...