4211 search results - page 570 / 843 » Types as Abstract Interpretations |
142
click to vote
IWCIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Several authors have proposed algorithms for curve partitioning using the arc-chord distance formulation, where a chord whose associated arc spans k pixels is moved along...
173
click to vote
IWCM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Junctions play an important role in motion analysis. Approaches based on the structure tensor have become the standard for junction detection. However, the structure tens...
182
click to vote
IWDW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In image authentication watermarking, hidden data is inserted into an image to detect any accidental or malicious image alteration. In the literature, quite a small numbe...
184
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper investigates two types of overhead due to duplicated local computations, which are frequently encountered in the parallel software of overlapping domain decomp...
187
click to vote
PARA
2004
Springer
15 years 12 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...