4609 search results - page 835 / 922 » Automatic Generation of Sigma-Protocols |
183
click to vote
MICCAI
2001
Springer
15 years 10 months ago
2001
Springer
Extracting 3D structures from volumetric images like MRI or CT is becoming a routine process for diagnosis based on quantitation, for radiotherapy planning, for surgical planning a...
164
Voted
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
Inpainting, the technique of modifying an image in an undetectable form, is as ancient as art itself. The goals and applications of inpainting are numerous, from the restoration o...
167
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
Physical simulation of dynamic objects has become commonplace in computer graphics because it produces highly realistic animations. In this paradigm the animator provides few phys...
166
Voted
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
This paper presents a technique, adaptive replication, for automatically eliminating synchronization bottlenecks in multithreaded programs that perform atomic operations on object...
188
Voted
FCCM
1997
IEEE
15 years 10 months ago
1997
IEEE
The RAW benchmark suite consists of twelve programs designed to facilitate comparing, validating, and improving reconfigurable computing systems. These benchmarks run the gamut o...