Sciweavers

3482 search results - page 161 / 697
» In Praise of Numerical Computation
Sort
View
107
Voted
CGF
2010
167views more  CGF 2010»
14 years 10 months ago
Chain Shape Matching for Simulating Complex Hairstyles
Animations of hair dynamics greatly enrich the visual attractiveness of human characters. Traditional simulation techniques handle hair as clumps or continuum for efficiency; howe...
Witawat Rungjiratananon, Yoshihiro Kanamori, Tomoy...
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 7 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
135
Voted
MCS
2011
Springer
14 years 7 months ago
Solving macroeconomic models with "off-the-shelf" software: An example of potential pitfalls
: When working with large-scale models or numerous small models, there can be a temptation to rely on default settings in proprietary software to derive solutions to the model. In ...
Ric D. Herbert, Peter J. Stemp
100
Voted
MCM
2010
14 years 7 months ago
Electromagnetic interrogation and the Doppler shift using the method of mappings
We consider the electromagnetic detection of hidden moving or oscillating conductive targets. The resulting mathematical problem involves computation of a Doppler shift for an ele...
H. T. Banks, Shuhua Hu, W. Clayton Thompson
NECO
2010
103views more  NECO 2010»
14 years 7 months ago
Population Models of Temporal Differentiation
Temporal derivatives are computed by a wide variety of neural circuits, but the problem of performing this computation accurately has received little theoretical study. Here we sy...
Bryan P. Tripp, Chris Eliasmith