Sciweavers

296 search results - page 42 / 60
» Numerical function generators using bilinear interpolation
Sort
View
CORR
2008
Springer
105views Education» more  CORR 2008»
14 years 9 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...
ICANNGA
2009
Springer
163views Algorithms» more  ICANNGA 2009»
15 years 1 months ago
Elitistic Evolution: An Efficient Heuristic for Global Optimization
A new evolutionary algorithm, Elitistic Evolution (termed EEv), is proposed in this paper. EEv is an evolutionary method for numerical optimization with adaptive behavior. EEv uses...
Francisco Viveros Jiménez, Efrén Mez...
TVCG
2012
205views Hardware» more  TVCG 2012»
13 years 2 days ago
A Deformable Surface Model for Real-Time Water Drop Animation
—A water drop behaves differently from a large water body because of its strong viscosity and surface tension under the small scale. Surface tension causes the motion of a water ...
Yizhong Zhang, Huamin Wang, Shuai Wang, Yiying Ton...
SPATIALCOGNITION
2000
Springer
15 years 1 months ago
Inference and Visualization of Spatial Relations
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
Sylvia Wiebrock, Lars Wittenburg, Ute Schmid, Frit...
74
Voted
SIAMSC
2010
141views more  SIAMSC 2010»
14 years 8 months ago
An Iterative Method for Edge-Preserving MAP Estimation When Data-Noise Is Poisson
In numerous applications of image processing, e.g. astronomical and medical imaging, data-noise is well-modeled by a Poisson distribution. This motivates the use of the negative-lo...
Johnathan M. Bardsley, John Goldes