5363 search results - page 22 / 1073 » Building the Cerebellum in a Computer |
ACSE
1998
ACM
13 years 11 months ago
1998
ACM
: Building research into teaching has particular value in the current academic climate; this paper considers why and reflects on the particular need for Computer Science education ...
CANS
2011
Springer
12 years 7 months ago
2011
Springer
In this paper, we explore fast algorithms for computing on encrypted polynomials. More specifically, we describe efficient algorithms for computing the Discrete Fourier Transform,...
TCC
2012
Springer
12 years 2 months ago
2012
Springer
We propose a 2-party UC-secure protocol that can compute any function securely. The protocol requires only two messages, communication that is poly-logarithmic in the size of the ...
PAMI
2012
11 years 9 months ago
2012
Binary descriptors are becoming increasingly popular as a means to compare feature points very fast and while requiring comparatively small amounts of memory. The typical approach...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...