571 search results - page 41 / 115 » On a high order numerical method for functions with singular... |
EUROSYS
2006
ACM
14 years 4 months ago
2006
ACM
In stand-alone databases, the two functions of ordering the transaction commits and making the effects of transactions durable are generally performed in one action, namely in the...
IMAMS
2007
13 years 9 months ago
2007
We present C1 methods for either interpolating data or for fitting scattered data associated with a smooth function on a two-dimensional smooth manifold Ω embedded into R3 . The ...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
This article addresses the problem of road extraction from new high resolution satellite images. The proposed algorithm is divided in two sequential modules : a topologically corr...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
CAGD
2002
13 years 7 months ago
2002
In this paper, I discuss a method for increasing the continuity between two functional triangular polynomial patches by adjusting their control points. The method described in thi...