Sciweavers

403 search results - page 53 / 81
» Contracts for higher-order functions
Sort
View
HYBRID
2000
Springer
15 years 9 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
IJCV
2006
206views more  IJCV 2006»
15 years 6 months ago
Highly Accurate Optic Flow Computation with Theoretically Justified Warping
In this paper, we suggest a variational model for optic flow computation based on non-linearised and higher order constancy assumptions. Besides the common grey value constancy ass...
Nils Papenberg, Andrés Bruhn, Thomas Brox, ...
NA
2008
71views more  NA 2008»
15 years 6 months ago
Numerical evaluation of a fixed-amplitude variable-phase integral
We treat the evaluation of a fixed-amplitude variable-phase integral of the form b a exp[ikG(x)]dx, where G (x) 0 and has moderate differentiability in the integration interval. ...
J. N. Lyness
SIAMIS
2008
115views more  SIAMIS 2008»
15 years 6 months ago
Geodesic Evolution Laws---A Level-Set Approach
Motion of curves governed by geometric evolution laws, such as mean curvature flow and surface diffusion, is the basis for many algorithms in image processing. If the images to be ...
Christina Stöcker, Axel Voigt
CPHYSICS
2004
79views more  CPHYSICS 2004»
15 years 6 months ago
Hybrid kinetic-MHD simulations in general geometry
We present a hybrid kinetic-MHD model consisting of 3 species, the bulk fluid ions and electrons, and a kinetic minority hot particle species. The 3 species equations are derived ...
Charlson C. Kim, Carl R. Sovinec, Scott E. Parker