2516 search results - page 367 / 504 » Integrity Constraints for XML |
193
click to vote
FGR
1996
IEEE
15 years 10 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...
182
click to vote
LOPSTR
1997
Springer
15 years 10 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...
166
click to vote
TIME
1994
IEEE
15 years 10 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...
146
click to vote
ICLP
1994
Springer
15 years 10 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...
138
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
The problem of knowledge representation has been extensively addressedin the information systemsfield and there has been a wide range of suggestionsfor capturing semantics.A numbe...