2312 search results - page 166 / 463 » Invariance in Property Testing |
137
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
We present a dynamic near-regular texture (NRT) tracking algorithm nested in a lattice-based Markov-Random-Field (MRF) model of a 3D spatiotemporal space. One basic observation use...
119
click to vote
ECCV
1994
Springer
16 years 6 months ago
1994
Springer
We show how a special decomposition of a set of two or three general projection matrices, called canonic enables us to build geometric descriptions for a system of cameras which a...
151
click to vote
3DIM
2005
IEEE
15 years 10 months ago
2005
IEEE
We compare two transform-based indexing methods for retrieval of 3D objects. We apply 3D Discrete Fourier Transform (DFT) and 3D Radial Cosine Transform (RCT) to the voxelized dat...
121
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
132
click to vote
FOAL
2007
ACM
15 years 8 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...