366 search results - page 59 / 74 » Model-checking higher-order functions |
134
click to vote
ISPD
1997
ACM
15 years 3 months ago
1997
ACM
The wire sizing problem under inequality Elmore delay constraints is known to be posynomial, hence convex under an exponential variable-transformation. There are formal methods fo...
HYBRID
2000
Springer
15 years 3 months ago
2000
Springer
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...
IJCV
2006
14 years 11 months ago
2006
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...
NA
2008
14 years 11 months ago
2008
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. ...
103
click to vote
SIAMIS
2008
14 years 11 months ago
2008
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 ...