6978 search results - page 1263 / 1396 » On Proofs in System P |
CGI
1998
IEEE
14 years 1 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...
ICPP
1998
IEEE
14 years 1 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...
ISPD
1998
ACM
14 years 1 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 ...
SIGGRAPH
1998
ACM
14 years 1 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...
UIST
1998
ACM
14 years 1 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...