Sciweavers

7890 search results - page 459 / 1578
» The MathSAT 3 System
Sort
View
DLT
2008
15 years 8 months ago
Derivation Tree Analysis for Accelerated Fixed-Point Computation
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f(X) is equal to the least fixed-point of a linear system obt...
Javier Esparza, Stefan Kiefer, Michael Luttenberge...
GRAPHICSINTERFACE
2007
15 years 8 months ago
Improved skeleton extraction and surface generation for sketch-based modeling
For the generation of freeform models, sketching interfaces have raised an increasing interest due to their intuitive approach. It is now possible to infer a 3D model directly fro...
Florian Levet, Xavier Granier
CGVR
2006
15 years 8 months ago
Software and Methods for Motion Capture and Tracking in Animation
ended abstract details previous methods for motion tracking and capture in 3D animation and in particular that of hand motion tracking and capture. Our research aims to enable ges...
Joan V. Condell, George Moore, John Moore
CGVR
2006
15 years 8 months ago
Texture Mapping with Vector Graphics: A Nested Mipmapping Solution
Texture mapping with vector graphics, rather than raster graphics generates better rendering quality. This paper discusses a fully developed approach of texture mapping 3D objects...
Wei Zhang, Yonggao Yang, Song Xing
SIMVIS
2004
15 years 8 months ago
Evaluation and Optimization of Laser Scan Data
The digitalization of objects from the real world is of great importance, e. g., in many multimedia applications, in 3D computer graphics, and in industrial measurement. In partic...
Christian Teutsch, Erik Trostmann, Michael Weber, ...