6300 search results - page 339 / 1260 » We have it easy, but do we have it right |
110
click to vote
COCO
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we show how to extend the argument due to Bonet, Pitassi and Raz to show that bounded-depth Frege proofs do not have feasible interpolation, assuming that factoring...
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with th...
134
click to vote
MCMASTER
1993
15 years 6 months ago
1993
With the recent advances in massively parallel programmable processor networks, methods for the infusion of massive MIMD parallelism into programs have become increasingly relevant...
133
click to vote
RT
2000
Springer
15 years 5 months ago
2000
Springer
Acceleration structures used for ray tracing have been designed and optimized for efficient traversal of static scenes. As it becomes feasible to do interactive ray tracing of movi...
106
click to vote
SMILE
2000
Springer
15 years 5 months ago
2000
Springer
Starting with a set of calibrated photographs taken of a scene, voxel coloring algorithms reconstruct three-dimensional surface models on a finite spatial domain. In this paper, we...