Sciweavers

210 search results - page 20 / 42
» Presenting Functors by Operations and Equations
Sort
View
ENTCS
2006
136views more  ENTCS 2006»
15 years 4 months ago
A "Hardware Compiler" Semantics for Handel-C
We present a denotational semantics for the hardware compilation language Handel-C that maps language constructs to a set of equations, which describe the structure of the resulti...
Andrew Butterfield, Jim Woodcock
SIAMAM
2002
122views more  SIAMAM 2002»
15 years 4 months ago
A Level Set Method for Anisotropic Geometric Diffusion in 3D Image Processing
A new morphological multiscale method in 3D image processing is presented which combines the image processing methodology based on nonlinear diffusion equations and the theory of g...
Martin Rumpf, Tobias Preußer
SIBGRAPI
2006
IEEE
15 years 10 months ago
Curvature-driven Modeling and Rendering of Point-Based Surfaces
In this work we address the problem of computing pointbased surface approximations from point clouds. Our approach is based on recently presented methods that define the approxim...
Joao Paulo Gois, Eduardo Tejada, Tiago Etiene, Lui...
GIS
2007
ACM
16 years 5 months ago
Smugglers and border guards: the GeoStar project at RPI
We present the GeoStar project at RPI, which researches various terrain (i.e., elevation) representations and operations thereon. This work is motivated by the large amounts of hi...
W. Randolph Franklin, Metin Inanc, Zhongyi Xie, Da...
VIIP
2001
15 years 5 months ago
Using Graphics Cards for Quantized FEM Computations
Graphics cards exercise increasingly more computing power and are highly optimized for high data transfer volumes. In contrast typical workstations perform badly when data exceeds...
Martin Rumpf, Robert Strzodka