434 search results - page 73 / 87 » Monadic Bounded Algebras |
ENTCS
2010
13 years 7 months ago
2010
The zipper is a well known design pattern for providing a cursor-like interface to a data structure. However, the classic treatise by Huet only scratches the surface of some of it...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
The annotation of the results of database transformations was shown to be very effective for various applications. Until recently, most works in this context focused on positive q...
IACR
2011
12 years 9 months ago
2011
Keccak is one of the five hash functions selected for the final round of the SHA-3 competition and its inner primitive is a permutation called Keccakf. In this paper, we find t...
ICDE
2003
IEEE
14 years 11 months ago
2003
IEEE
Expressing complex OLAP queries using group-by, aggregation, and joins can be extremely difficult. As a result of this, many alternate ways of expressing such queries have been de...
STOC
2010
ACM
14 years 2 months ago
2010
ACM
Data streams emerged as a critical model for multiple applications that handle vast amounts of data. One of the most influential and celebrated papers in streaming is the “AMS...