6045 search results - page 1093 / 1209 » Computable Linearizations of Well-partial-orderings |
CVPR
1997
IEEE
14 years 1 months ago
1997
IEEE
Wepresent a methodfor motion estimation using ordinal measures. Ordinal measures are based on relative ordering of intensity values in a image regioncalled rankpermutation. While ...
STACS
1998
Springer
14 years 1 months ago
1998
Springer
We consider Boolean functions represented by decision lists, and study their relationships to other classes of Boolean functions. It turns out that the elementary class of 1-decis...
CONCUR
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
IPPS
1996
IEEE
14 years 1 months ago
1996
IEEE
To expand the Scalable Coherent Interface's (SCI) capabilities so it can be used to efficiently handle sharing in systems of hundreds or even thousands of processors, the SCI...
VISUALIZATION
1996
IEEE
14 years 1 months ago
1996
IEEE
In the last ve years, there has been numerous applications of wavelets and multiresolution analysis in many elds of computer graphics as di erent as geometric modelling, volume vi...