4163 search results - page 445 / 833 » A comprehensive combination framework |
267
click to vote
TOG
2012
13 years 9 months ago
2012
We introduce tensor displays: a family of compressive light field displays comprising all architectures employing a stack of timemultiplexed, light-attenuating layers illuminated...
237
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We present an approach to synthesize the subtle 3D relief and texture of oil painting brush strokes from a single photograph. This task is unique from traditional synthesize algor...
199
click to vote
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
Pipeline architectures provide a versatile and efficient mechanism for constructing visualizations, and they have been implemented in numerous libraries and applications over the p...
215
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
191
click to vote
DT
2006
15 years 6 months ago
2006
the abstraction level at which designers express systems, enabling new levels of design reuse, and providing for design chain integration ool flows and abstraction levels. The purp...