232 search results - page 12 / 47 » Twenty Years Later |
EUROMICRO
1996
IEEE
13 years 11 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
DISCO
1992
13 years 11 months ago
1992
It is generally accepted that special purpose algebraic systems are more efficient than general purpose ones, but as machines get faster this does not matter. An experiment has be...
DAGM
2006
Springer
13 years 9 months ago
2006
Springer
In the last twenty years many approaches for contact-free measurement techniques for object surfaces and approaches for 3d object reconstruction have been proposed; but often they ...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
The study of type isomorphisms for different -calculi started over twenty years ago, and a very wide body of knowledge has been established, both in terms of results and in terms o...
VMV
2008
13 years 9 months ago
2008
For about twenty years the standard color sampling method for RGBA volume data has been the interpolation of opacity-weighted colors. In this work, we discuss the underlying appro...