Sciweavers

365 search results - page 50 / 73
» Gray-Level Reduction Using Local Spatial Features
Sort
View
CVPR
2009
IEEE
15 years 2 months ago
Spatiotemporal Stereo via Spatiotemporal Quadric Element (Stequel) Matching
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...
Mikhail Sizintsev, Richard P. Wildes
BMVC
2000
13 years 9 months ago
Efficient Head Pose Estimation with Gabor Wavelet Networks
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 ...
Volker Krüger, Gerald Sommer
APAL
2010
98views more  APAL 2010»
13 years 7 months ago
Classical proof forestry
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...
Willem Heijltjes
ICCV
2003
IEEE
14 years 9 months ago
Space-time Interest Points
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...
Ivan Laptev, Tony Lindeberg
FORMATS
2006
Springer
13 years 11 months ago
Adding Invariants to Event Zone Automata
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...
Peter Niebert, Hongyang Qu