4067 search results - page 53 / 814 » Programs for Applying Symmetries |
ICIP
1998
IEEE
14 years 9 months ago
1998
IEEE
This paper introduces a new generalisation of the familiar scale-space and wavelet representations, designed specifically to deal with the complexities of representing motions ind...
ASIAN
1998
Springer
14 years 6 days ago
1998
Springer
We show that rigid reachability, the non-symmetric form of rigid E-unification, is undecidable already in the case of a single constraint. From this we infer the undecidability of ...
CAV
1998
Springer
14 years 6 days ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
DAGM
1997
Springer
14 years 4 days ago
1997
Springer
Using the 3-dimensional structure tensor, dense displacement vector fields (DVF) can be computed with subpixel accuracy. The approach is based on the detection of linear symmetrie...
AISC
2008
Springer
13 years 10 months ago
2008
Springer
We describe the use of symbolic algebraic computation allied with AI search techniques, applied to the problem of the identification, enumeration and storage of all monoids of orde...