AFPAC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
AFPAC
2000
Springer
13 years 11 months ago
2000
Springer
In signal processing, the approach of the analytic signal is a capable and often used method. For signals of finite length, quadrature filters yield a bandpass filtered approxim...
AFPAC
2000
Springer
13 years 11 months ago
2000
Springer
The structure of hypersurfaces corresponding to different spatio-temporal patterns is considered, and in particular representations based on geometrical invariants, such as the Ri...
ADG
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...
ADG
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Geometric straight-line programs [5, 8] can be used to model geometric constructions and their implicit ambiguities. In this paper we discuss the complexity of deciding w...
ACMMPC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
ACMMPC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate...
ACMMPC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
ACMMPC
2000
Springer
13 years 11 months ago
2000
Springer
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
ACMMPC
2000
Springer
13 years 11 months ago
2000
Springer