Results 1  10
of
20
Interval Analysis For Computer Graphics
 Computer Graphics
, 1992
"... This paper discusses how interval analysis can be used to solve a wide variety of problems in computer graphics. These problems include ray tracing, interference detection, polygonal decomposition of parametric surfaces, and CSG on solids bounded by parametric surfaces. Only two basic algorithms are ..."
Abstract

Cited by 132 (2 self)
 Add to MetaCart
This paper discusses how interval analysis can be used to solve a wide variety of problems in computer graphics. These problems include ray tracing, interference detection, polygonal decomposition of parametric surfaces, and CSG on solids bounded by parametric surfaces. Only two basic algorithms are required: SOLVE, which computes solutions to a system of constraints, and MINIMIZE, which computes the global minimum of a function, subject to a system of constraints. We present algorithms for SOLVE and MINIMIZE using interval analysis as the conceptual framework. Crucial to the technique is the creation of "inclusion functions" for each constraint and function to be minimized. Inclusion functions compute a bound on the range of a function, given a similar bound on its domain, allowing a branch and bound approach to constraint solution and constrained minimization. Inclusion functions also allow the MINIMIZE algorithm to compute global rather than local minima, unlike many other numerica...
Cellular Texture Generation
, 1995
"... We propose an approach for modeling surface details such as scales, feathers, or thorns. These types of cellular textures require a representation with more detail than texturemapping but are inconvenient to model with handcrafted geometry. We generate ..."
Abstract

Cited by 68 (2 self)
 Add to MetaCart
We propose an approach for modeling surface details such as scales, feathers, or thorns. These types of cellular textures require a representation with more detail than texturemapping but are inconvenient to model with handcrafted geometry. We generate
Generative Modeling: A Symbolic System for Geometric Modeling
 Computer Graphics
, 1992
"... This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of shapes including 3D curves, surfaces, and solids, as well as higherdimensional shapes such as surfaces deforming in time, a ..."
Abstract

Cited by 30 (1 self)
 Add to MetaCart
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of shapes including 3D curves, surfaces, and solids, as well as higherdimensional shapes such as surfaces deforming in time, and volumes with a spatially varying mass density. The system also supports powerful operations on shapes such as "reparameterize this curve by arclength", "compute the volume, center of mass, and moments of inertia of the solid bounded by these surfaces", or "solve this constraint or ODE system". The system has been used for a wide variety of applications, including creating surfaces for computer graphics animations, modeling the fur and body shape of a teddy bear, constructing 3D solid models of elastic bodies, and extracting surfaces from magnetic resonance (MR) data. Shapes in the system are specified using a language which builds multidimensional parametric functions. The language is bas...
Raytracing Procedural Displacement Shaders
 In Graphics Interface
, 1998
"... Displacement maps and procedural displacement shaders are a widely used approach of specifying geometric detail and increasing the visual complexity of a scene. While it is relatively straightforward to handle displacement shaders in pipeline based rendering systems such as the Reyesarchitecture, i ..."
Abstract

Cited by 28 (1 self)
 Add to MetaCart
Displacement maps and procedural displacement shaders are a widely used approach of specifying geometric detail and increasing the visual complexity of a scene. While it is relatively straightforward to handle displacement shaders in pipeline based rendering systems such as the Reyesarchitecture, it is much harder to efficiently integrate displacementmapped surfaces in raytracers. Many commercial raytracers tessellate the surface into a multitude of small triangles. This introduces a series of problems such as excessive memory consumption and possibly undetected surface detail. In this paper we describe a novel way of raytracing procedural displacement shaders directly, that is, without introducing intermediate geometry. Affine arithmetic is used to compute bounding boxes for the shader over any range in the parameter domain. The method is comparable to the direct raytracing of B'ezier surfaces and implicit surfaces using B'ezier clipping and interval methods, respectively. Keyw...
Programming graphics processors functionally
 In Haskell workshop
, 2004
"... Graphics cards for personal computers have recently undergone a radical transformation from fixedfunction graphics pipelines to multiprocessor, programmable architectures. Multiprocessor architectures are clearly advantageous for graphics for the simple reason that graphics computations are natur ..."
Abstract

Cited by 23 (0 self)
 Add to MetaCart
Graphics cards for personal computers have recently undergone a radical transformation from fixedfunction graphics pipelines to multiprocessor, programmable architectures. Multiprocessor architectures are clearly advantageous for graphics for the simple reason that graphics computations are naturally concurrent, mapping well to stateless stream processing. They therefore parallelize easily and need no random access to memory with its problematic latencies. This paper presents Vertigo, a purely functional, Haskellembedded language for 3D graphics and an optimizing compiler that generates graphics processor code. The language integrates procedural surface modeling, shading, and texture generation, and the compiler exploits the unusual processor architecture. The shading sublanguage is based on a simple and precise semantic model, in contrast to previous shading languages. Geometry and textures are also defined via a very simple denotational semantics. The formal semantics yields not only programs that are easy to understand and reason about, but also very efficient implementation, thanks to a compiler based on partial evaluation and symbolic optimization, much in the style of Pan [2]. Haskell’s overloading facility is extremely useful throughout Vertigo. For instance, math operators are used not just for floating point numbers, but also expressions (for differentiation and compilation), tuples, and functions. Typically, these overloadings cascade, as in the case of surfaces, which may be combined via math operators, though they are really functions over tuples of expressions on floating point numbers. Shaders may be composed with the same notational convenience. Functional dependencies are exploited for vector spaces, cross products, and derivatives.
Efficient Bounded Adaptive Tessellation of Displacement Maps
 IN GRAPHICS INTERFACE
, 2002
"... Displacement mapping is a technique for applying fine geometric detail to a simpler base surface. The displacement is specified as a scalar function which makes it relatively easy to increase visual complexity without the difficulties inherent in more general modeling techniques. We would like to us ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
Displacement mapping is a technique for applying fine geometric detail to a simpler base surface. The displacement is specified as a scalar function which makes it relatively easy to increase visual complexity without the difficulties inherent in more general modeling techniques. We would like to use displacement mapping in realtime applications. Ideally, a graphics accelerator should create a polygonal tessellation of the displaced surface on the fly to avoid storage and host bandwidth overheads. We present an online
Reduction of BRL/CAD Models and Their Use in Automatic Target Recognition Algorithms
 In Proceedings: BRLCAD Symposium. Army Research Labs
, 1995
"... We are currently developing an Automatic Target Recognition (ATR) algorithm to locate an object using multisensor data. The ATR algorithm will determine corresponding points between a range (LADAR) image, a color (CCD) image, a thermal (FLIR) image and a BRL/CAD model of the object being located. Th ..."
Abstract

Cited by 10 (10 self)
 Add to MetaCart
We are currently developing an Automatic Target Recognition (ATR) algorithm to locate an object using multisensor data. The ATR algorithm will determine corresponding points between a range (LADAR) image, a color (CCD) image, a thermal (FLIR) image and a BRL/CAD model of the object being located. The success of this process depends in part on which features can be automatically extracted from the model database. The BRL/CAD models we have for this process contain more detail than can be productively used by our ATR algorithm and must be reduced to a more appropriate form. This paper presents algorithms we are developing in order to reduce the BRL/CAD models a level of detail appropriate for the ATR algorithm. A secondary feature of these algorithms is to also maintain a parallel version with details sufficient to appear realistic when rendered. This rendering enables the ATR system to animate its search procedure for monitoring and debugging. Model reduction begins by converting the Co...
Obtaining 3D Silhouettes And Sampled Surfaces From Solid Models For Use In Computer Vision
, 1995
"... OF THESIS OBTAINING 3D SILHOUETTES AND SAMPLED SURFACES FROM SOLID MODELS FOR USE IN COMPUTER VISION Modelbased object recognition algorithms identify modeled objects in a scene by relating stored geometric models to features extracted from sensor data. This process can be combinatorially explosive ..."
Abstract

Cited by 8 (5 self)
 Add to MetaCart
OF THESIS OBTAINING 3D SILHOUETTES AND SAMPLED SURFACES FROM SOLID MODELS FOR USE IN COMPUTER VISION Modelbased object recognition algorithms identify modeled objects in a scene by relating stored geometric models to features extracted from sensor data. This process can be combinatorially explosive as the amount of information presented to the recognition algorithm increases. This thesis presents a method for extracting only relevant features from a stored three dimensional (3D) model in an attempt to reduce the difficulty of the recognition process. The development of the methods presented here were driven by the needs of the Automatic Target Recognition (ATR) algorithm being developed concurrently at Colorado State University (CSU). The ATR algorithm locates an object using multisensor data by determining the correspondence between a range (LADAR) image, a color image, a thermal (FLIR) image, and a Computer Aided Design (CAD) geometric model. The success of this process depends in ...
Meshing of Surfaces
 EFFECTIVE COMPUTATIONAL GEOMETRY FOR CURVES AND SURFACES, (JEANDANIEL BOISSONNAT, MONIQUE TEILLAUD, EDITORS)
, 2007
"... Meshing is the process of computing, for a given surface, a representation consisting of pieces of simple surface patches, like triangles. This survey discusses all currently known surface (and curve) meshing algorithms that come with correctness and quality guarantees. ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
Meshing is the process of computing, for a given surface, a representation consisting of pieces of simple surface patches, like triangles. This survey discusses all currently known surface (and curve) meshing algorithms that come with correctness and quality guarantees.
Solving interval constraints by linearization in computeraided design. Reliable Computing
, 2006
"... Abstract. Current parametric CAD systems require geometric parameters to have fixed values. Specifying fixed parameter values implicitly adds rigid constraints on the geometry, which have the potential to introduce conflicts during the design process. This paper presents a soft constraint representa ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
Abstract. Current parametric CAD systems require geometric parameters to have fixed values. Specifying fixed parameter values implicitly adds rigid constraints on the geometry, which have the potential to introduce conflicts during the design process. This paper presents a soft constraint representation scheme based on nominal interval. Interval geometric parameters capture inexactness of conceptual and embodiment design, uncertainty in detail design, as well as boundary information for design optimization. To accommodate underconstrained and overconstrained design problems, a doubleloop GaussSeidel method is developed to solve linear constraints. A symbolic preconditioning procedure transforms nonlinear equations to separable form. Inequalities are also transformed and integrated with equalities. Nonlinear constraints can be bounded by piecewise linear enclosures and solved by linear methods iteratively. A sensitivity analysis method that differentiates active and inactive constraints is presented for design refinement. 1.