Spatiotemporal stereo is concerned with recovery of the 3D structure of a
dynamically changing scene from a sequence of stereo images. This paper
aims at computing temporally coh...
In this article we want to introduce first the Gabor wavelet network as a model based approach for an effective and efficient object representation. The Gabor wavelet network has ...
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand's Theorem and backtracking games in the style of Coquand. First described by M...
Local image features or interest points provide compact ract representations of patterns in an image. In this paper, we propose to extend the notion of spatial interest points int...
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...