Sciweavers

373 search results - page 28 / 75
» A New Approach for Image-Content Adaptive Mesh Generation
Sort
View
GRAPHITE
2003
ACM
15 years 3 months ago
Point-based modelling and rendering using radial basis functions
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...
Patrick Reuter, Ireneusz Tobor, Christophe Schlick...
TAP
2007
Springer
92views Hardware» more  TAP 2007»
15 years 3 months ago
Generating Unit Tests from Formal Proofs
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...
Christian Engel, Reiner Hähnle
NPAR
2000
ACM
15 years 2 months ago
Artistic silhouettes: a hybrid approach
We present a new algorithm for rendering silhouette outlines of 3D polygonal meshes with stylized strokes. Rather than use silhouette edges of the model directly as the basis for ...
J. D. Northrup, Lee Markosian
JUCS
2008
127views more  JUCS 2008»
14 years 9 months ago
A Spiral Model for Adding Automatic, Adaptive Authoring to Adaptive Hypermedia
: At present a large amount of research exists into the design and implementation of adaptive systems. However, not many target the complex task of authoring in such systems, or th...
Maurice Hendrix, Alexandra I. Cristea
ICIP
2003
IEEE
15 years 11 months ago
An adaptive multigrid algorithm for region of interest diffuse optical tomography
Dueto diffuse nature of lightphotons, Diffuse Optical Tomography (DOT) image reconstruction is a challenging 3D problem with a relatively large number of unknowns and limited meas...
Murat Guven, Birsen Yazici, Xavier Intes, Britton ...