Sciweavers

598 search results - page 51 / 120
» Generic Trace Theory
Sort
View
CGF
2008
118views more  CGF 2008»
13 years 10 months ago
Image-Based Surface Compression
We present a generic framework for compression of densely sampled 3D surfaces in order to satisfy the increasing demand for storing large amounts of 3D content. We decompose a giv...
Tilo Ochotta, Dietmar Saupe
CORR
2006
Springer
98views Education» more  CORR 2006»
13 years 10 months ago
A field-theory motivated approach to symbolic computer algebra
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be ...
Kasper Peeters
AEI
2004
78views more  AEI 2004»
13 years 10 months ago
Use of design patterns in analogy-based design
atterns specify generic relations among abstract design elements. We hypothesize that design patterns are productive units of analogical transfer in design. We describe a normativ...
Ashok K. Goel, Sambasiva R. Bhatta
TRIER
2002
13 years 9 months ago
Polynomial Constants are Decidable
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
Markus Müller-Olm, Helmut Seidl
PLDI
2011
ACM
13 years 1 months ago
Safe optimisations for shared-memory concurrent programs
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
Jaroslav Sevcík