8874 search results - page 347 / 1775 » A New Implementation of Automath |
164
click to vote
WOTUG
2007
15 years 8 months ago
2007
Abstract. The advent of mass-market multicore processors provides exciting new opportunities for parallelism on the desktop. The original C++CSP – a library providing concurrency...
179
click to vote
ESA
2010
Springer
15 years 8 months ago
2010
Springer
Text search engines return a set of k documents ranked by similarity to a query. Typically, documents and queries are drawn from natural language text, which can readily be partiti...
165
click to vote
TIP
1998
15 years 6 months ago
1998
—In a standard transform coding scheme of images or video, the decoder can be implemented by a table-lookup technique without the explicit use of an inverse transformation. In th...
171
click to vote
TCC
2009
Springer
16 years 7 months ago
2009
Springer
Various results show that oblivious transfer can be implemented using the assumption of noisy channels. Unfortunately, this assumption is not as weak as one might think, because i...
287
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Complex queries over high speed data streams often need to rely on approximations to keep up with their input. The research community has developed a rich literature on approximat...