6978 search results - page 1263 / 1396 » On Proofs in System P |
212
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
Many techniques have been developed for 3D object deformation. These techniques have been widely used in most CAD/CAM systems. Intuitive while efficient methods for interactive 3D...
182
Voted
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
We address the problems of I/O scheduling and buffer management for general reference strings in a parallel I/O system. Using the standard parallel disk model withD disks and a sh...
138
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes an important new facility for timing-driven design applications within the new CHDStd standard for a SEMATECH design system for large complex chips. We first ...
207
Voted
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
In this paper we develop a computational model of adaptation and spatial vision for realistic tone reproduction. The model is based on a multiscale representation of pattern, lumi...
186
click to vote
UIST
1998
ACM
15 years 11 months ago
1998
ACM
We describe a new method and implementation for managing information through the use of physical objects. In today’s networked world, the trend is toward working in a global vir...