2312 search results - page 116 / 463 » Invariance in Property Testing |
ICIP
1998
IEEE
14 years 11 months ago
1998
IEEE
;I general paradigm for recognizing 3D objects is offered, and applied to some geometric primitives [sphe,res, cylinders, cones, and tori). The assumption is that Q curve on the s...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Abstract. This paper presents a set of image operators for detecting regions in space-time where interesting events occur. To define such regions of interest, we compute a spatio-t...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
The algebraic theory of finite groups appears in signal processing problems involving the statistical analysis of ranked data and the construction of invariants for pattern recog...
ICDT
2007
ACM
14 years 4 months ago
2007
ACM
Moving objects produce trajectories. We describe a data model for trajectories and trajectory samples and an efficient way of modeling uncertainty via beads for trajectory samples....
CADE
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...