1497 search results - page 259 / 300 » Constraint Databases: A Survey |
260
Voted
ICLP
2009
Springer
16 years 6 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
147
click to vote
EUROCRYPT
2009
Springer
16 years 6 months ago
2009
Springer
We initiate the cryptographic study of order-preserving symmetric encryption (OPE), a primitive suggested in the database community by Agrawal et al. (SIGMOD '04) for allowin...
257
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
128
click to vote
CIKM
2009
Springer
16 years 1 days ago
2009
Springer
The publish-subscribe paradigm is an effective approach for data publishers to asynchronously disseminate relevant data to a large number of data subscribers. A lot of recent res...
181
click to vote
ICB
2009
Springer
16 years 15 hour ago
2009
Springer
We propose a vector representation (called a 3D signature) for 3D face shape in biometrics applications. Elements of the vector correspond to fixed surface points in a face-centere...