1220 search results - page 174 / 244 » Restricting grammatical complexity |
134
Voted
PODS
2000
ACM
15 years 7 months ago
2000
ACM
We study the problem of auditing databases which support statistical sum queries to protect the security of sensitive information; we focus on the special case in which the sensit...
151
Voted
FOCS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
109
Voted
UIST
1999
ACM
15 years 7 months ago
1999
ACM
Cascading Style Sheets have recently been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints prov...
139
Voted
FCT
1999
Springer
15 years 7 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
173
Voted
RT
1999
Springer
15 years 7 months ago
1999
Springer
The dramatically increasing size of polygonal models resulting from 3D scanning devices and advanced modeling techniques requires new approaches to reduce the load of geometry tran...