1458 search results - page 203 / 292 » Extended Term Rewriting Systems |
110
click to vote
DATESO
2007
15 years 2 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
94
Voted
ECIS
2004
15 years 2 months ago
2004
This paper reports results from two field trials of TrottingPal, a mobile system that supports event information management and seamless collaboration between spectators at the tr...
140
Voted
LOGCOM
2011
14 years 3 months ago
2011
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
131
Voted
ICDT
2012
ACM
13 years 3 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
96
Voted
SPAA
2006
ACM
15 years 6 months ago
2006
ACM
The problem of scalable and robust distributed data storage has recently attracted a lot of attention. A common approach in the area of peer-to-peer systems has been to use a dist...