9642 search results - page 1548 / 1929 » Semantics in Multimedia Systems |
WWW
2001
ACM
16 years 6 days ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
195
click to vote
ICLP
2009
Springer
16 years 6 days ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
180
click to vote
CC
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
CADE
2006
Springer
15 years 12 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...
SIGMOD
2004
ACM
15 years 11 months ago
2004
ACM
We discuss four different core protocols for synchronizing access to and modifications of XML document collections. These core protocols synchronize structure traversals and modif...