1236 search results - page 215 / 248 » On the Hamkins approximation property |
STOC
2005
ACM
15 years 10 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
155
click to vote
VLDB
2008
ACM
15 years 10 months ago
2008
ACM
Besides traditional domains (e.g., resource allocation, data mining applications), algorithms for medoid computation and related problems will play an important role in numerous e...
151
click to vote
SIGMOD
2007
ACM
15 years 9 months ago
2007
ACM
Sketching techniques can provide approximate answers to aggregate queries either for data-streaming or distributed computation. Small space summaries that have linearity propertie...
130
click to vote
SIGMOD
2002
ACM
15 years 9 months ago
2002
ACM
With the increased abilities for automated data collection made possible by modern technology, the typical sizes of data collections have continued to grow in recent years. In suc...
POPL
2010
ACM
15 years 7 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...