Sciweavers

11211 search results - page 1807 / 2243
» Data Structures
Sort
View
CAGD
2008
109views more  CAGD 2008»
15 years 7 months ago
Detail preserving deformation of B-spline surfaces with volume constraint
Geometric constraints have proved to be helpful for shape modeling. Moreover, they are efficient aids in controlling deformations and enhancing animation realism. The present pape...
Basile Sauvage, Stefanie Hahmann, Georges-Pierre B...
174
Voted
CGF
2008
143views more  CGF 2008»
15 years 7 months ago
Sketch-Based Procedural Surface Modeling and Compositing Using Surface Trees
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...
Ryan Schmidt, Karan Singh
197
Voted
CGF
2008
165views more  CGF 2008»
15 years 7 months ago
GPU-based Fast Ray Casting for a Large Number of Metaballs
Metaballs are implicit surfaces widely used to model curved objects, represented by the isosurface of a density field defined by a set of points. Recently, the results of particle...
Yoshihiro Kanamori, Zoltan Szego, Tomoyuki Nishita
190
Voted
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 7 months ago
Boosting Multi-Core Reachability Performance with Shared Hash Tables
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
Alfons Laarman, Jaco van de Pol, Michael Weber 000...
197
Voted
CORR
2010
Springer
210views Education» more  CORR 2010»
15 years 7 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
« Prev « First page 1807 / 2243 Last » Next »