4463 search results - page 393 / 893 » computing 2000 |
193
click to vote
MSCS
2000
15 years 6 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
179
click to vote
SIGGRAPH
2000
ACM
15 years 11 months ago
2000
ACM
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...
179
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Effective utilization of cache memories is a key factor in achieving high performance in computing the Discrete Fourier Transform (DFT). Most optimizationtechniques for computing ...
199
click to vote
ISCI
2000
15 years 6 months ago
2000
This paper combines quantum computation with classical neural network theory to produce a quantum computational learning algorithm. Quantum computation uses microscopic quantum lev...
150
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
In this paper we present a voxel-based 3-D reconstruction technique that computes a set of non-transparent object surface voxels from a given set of calibrated camera views. We sh...