306 search results - page 7 / 62 » A finite difference method for free boundary problems |
AGP
1999
IEEE
15 years 1 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
CVGIP
2000
14 years 9 months ago
2000
In this paper we present a hierarchical approach for the deformable surface technique. This technique is a three dimensional extension of the snake segmentation method. We use it ...
MOC
2002
14 years 9 months ago
2002
In this paper, we propose and study different mixed variational methods in order to approximate with finite elements the unilateral problems arising in contact mechanics. The discr...
AMC
2008
14 years 9 months ago
2008
ct 7 Two different modifications of Popovski's method are developed, both are free of second derivatives. In the first mod8 ified scheme we traded the second derivative by an ...
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on ional abstraction. A lazy satisfiability checker ...