3319 search results - page 354 / 664 » Type Theoretical Databases |
121
Voted
ACMSE
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we describe a demonstration called an “End-to-End” demonstration developed for the 2005 offering of our grid computing course that was taught across the State o...
126
Voted
ICFCA
2005
Springer
15 years 9 months ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
117
Voted
SOFSEM
2005
Springer
15 years 9 months ago
2005
Springer
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...
129
Voted
FOCS
2003
IEEE
15 years 9 months ago
2003
IEEE
We show how a polynomial-time prover can commit to an arbitrary finite set Ë of strings so that, later on, he can, for any string Ü, reveal with a proof whether Ü ¾ Ë or Ü ...
132
Voted
HT
2003
ACM
15 years 9 months ago
2003
ACM
Through scenarios in the popular press and technical papers in the research literature, the promise of the Semantic Web has raised a number of different expectations. These expect...