3443 search results - page 102 / 689 » More Algebras for Determiners |
CDB
2004
Springer
14 years 1 months ago
2004
Springer
Preference queries are relational algebra or SQL queries that contain occurrences of the winnow operator (find the most preferred tuples in a given relation). We present here a nu...
SWAT
2004
Springer
14 years 1 months ago
2004
Springer
For n disjoint line segments in the plane we can construct a binary encompassing tree such that every vertex is pointed, what’s more, at every segment endpoint all incident edges...
FC
1999
Springer
14 years 14 days ago
1999
Springer
In this paper we consider the problem of efficiently locating cryptographic keys hidden in gigabytes of data, such as the complete file system of a typical PC. We describe efficie...
ESOP
1992
Springer
14 years 8 days ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
APSEC
2003
IEEE
13 years 12 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...