240 search results - page 2 / 48 » Incorporating Tables into Proofs |
CRYPTO
2005
Springer
13 years 11 months ago
2005
Springer
We investigate methods for providing easy-to-check proofs of computational effort. Originally intended for discouraging spam, the concept has wide applicability as a method for co...
TABLETOP
2006
IEEE
13 years 11 months ago
2006
IEEE
In this work, we create social visualizations of aural group conversation. These visualizations are tailored to a table setting. Examples of such settings are a family sitting abo...
SIGMOD
2008
ACM
13 years 5 months ago
2008
ACM
Today's record matching infrastructure does not allow a flexible way to account for synonyms such as "Robert" and "Bob" which refer to the same name, and ...
IWSOC
2003
IEEE
13 years 10 months ago
2003
IEEE
: - A filter cache is proposed at a higher level than the L1 (main) cache in the memory hierarchy and is much smaller. The typical size of filter cache is of the order of 512 Bytes...
ENTCS
2007
13 years 5 months ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...