Sciweavers

711 search results - page 141 / 143
» formats 2008
Sort
View
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 5 months ago
Certifying floating-point implementations using Gappa
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
CORR
2008
Springer
109views Education» more  CORR 2008»
13 years 5 months ago
Simulation of Coating -Visco-Elastic liquid in the Mico-Nip of Metering Size Press
for a set of operating conditions and coating color formulations, undesirable phenomena like color spitting and coating ribs may be triggered in the Micro-nip during the coating pr...
Haifa El-Sadi, Nabil Esmail
CORR
2008
Springer
148views Education» more  CORR 2008»
13 years 5 months ago
Copper Electrodeposition for 3D Integration
Abstract-Two dimensional (2D) integration has been the traditional approach for IC integration. Increasing demands for providing electronic devices with superior performance and fu...
Rozalia Beica, Charles Sharbono, Tom Ritzdorf
MTA
2008
134views more  MTA 2008»
13 years 5 months ago
A survey of content based 3D shape retrieval methods
Recent developments in techniques for modeling, digitizing and visualizing 3D shapes has led to an explosion in the number of available 3D models on the Internet and in domain-spe...
Johan W. H. Tangelder, Remco C. Veltkamp
MTA
2008
186views more  MTA 2008»
13 years 5 months ago
Tactile web browsing for blind people
Information on the World Wide Web becomes more and more important for our society. For blind people this is a chance to access more information for their everyday life. In this pap...
Martin Rotard, Christiane Taras, Thomas Ertl