81 search results - page 15 / 17 » On Normalization by Evaluation for Object Calculi |
IMAGING
2003
13 years 8 months ago
2003
For over 3 decades, computer graphics technology has been developed to simulate physically accurate image of real scene. Meanwhile, useful tone mapping methods have been developed...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper explores the idea that the universe is a virtual reality created by information processing, and relates this strange idea to the findings of modern physics about the ph...
POPL
2012
ACM
12 years 2 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
MICCAI
2002
Springer
14 years 7 months ago
2002
Springer
Most existing methods for registration of three-dimensional tomographic images to two-dimensional projection images use simulated projection images and either intensity-based or fe...
PPOPP
2009
ACM
14 years 7 months ago
2009
ACM
This paper introduces a new way to provide strong atomicity in an implementation of transactional memory. Strong atomicity lets us offer clear semantics to programs, even if they ...