11739 search results - page 42 / 2348 » Slideshow: functional presentations |
FSEN
2007
Springer
14 years 4 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
SIBGRAPI
2005
IEEE
14 years 3 months ago
2005
IEEE
Direct volume rendering techniques are used to visualize and explore large scalar volumes. Transfer functions (TFs) that assign opacity and color to scalar values are very importa...
ECCV
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. We present a novel single image deblurring method to estimate spatially non-uniform blur that results from camera shake. We use existing spatially invariant deconvolution...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
In modern SoCs, embedded memories occupy the largest part of the chip area and include an even larger amount of active devices. As memories are designed very tightly to the limits...
GRAPHITE
2003
ACM
14 years 3 months ago
2003
ACM
A point-based 3D surface modelling technique combined with a new point rendering technique is presented. Surfaces are modelled by specifying a set of unorganized points on the sur...