504 search results - page 63 / 101 » The projective plane is a stabilizer |
MVA
1992
13 years 10 months ago
1992
The main goal of sequence analysis is the motion estimation of moving objects which are present in the scene. One of the most important approaches for motion estimation is based o...
CVIU
2008
13 years 9 months ago
2008
This paper presents a novel representation for human actions which encodes the variations in the shape and motion of the performing actor. When an actor performs an action, at eac...
DCC
2008
IEEE
13 years 9 months ago
2008
IEEE
This work is inspired by a paper of Hertel and Pott on maximum non-linear functions [8]. Geometrically, these functions correspond with quasi-quadrics; objects introduced in [5]. ...
EJC
2006
13 years 9 months ago
2006
A tube (resp. an oval tube) in PG(3, q) is a pair T = {L, L}, where {L} L is a collection of mutually disjoint lines of PG(3, q) such that for each plane of PG(3, q) containing L...
JAR
2008
13 years 9 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...