6 search results - page 1 / 2 » Domain Theoretic Solutions of Initial Value Problems for Unb... |
ENTCS
2006
13 years 5 months ago
2006
This paper extends the domain theoretic method for solving initial value problems, described in [8], to unbounded vector fields. Based on a sequence of approximations of the vecto...
PARA
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper presents a method of solving initial value problems using Euler’s method, based on the domain of interval valued functions of a real variable. In contrast to...
ICALP
2004
Springer
13 years 11 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
VMV
2000
13 years 6 months ago
2000
Anisotropic diffusion is known to be a powerful tool in image processing. It enables the smoothing of initially noisy images while still retaining, respectively sharpening edges a...
AIPS
2011
12 years 9 months ago
2011
We consider the problem of finding generalized plans for situations where the number of objects may be unknown and unbounded during planning. The input is a domain specification...