2702 search results - page 133 / 541 » Practically Applicable Formal Methods |
75
Voted
TKDE
1998
14 years 9 months ago
1998
E cient storage and retrieval of multi-attribute datasets have become one of the essential requirements for many data-intensive applications. The Cartesian product le has been kno...
SIAMJO
2008
14 years 9 months ago
2008
Let A and B be nonempty, convex and closed subsets of a Hilbert space H. In the practical considerations we need to find an element of the intersection A B or, more general, to s...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a highly accurate and efficient method for crack detection using percolation-based image processing. The detection of cracks in concrete surfaces during the ma...
TCSV
2008
14 years 10 months ago
2008
Look-up table (LUT)-based data hiding is a simple and efficient technique to hide secondary information (watermark) into multimedia work for various applications such as copyright ...
ICIAP
2005
ACM
15 years 10 months ago
2005
ACM
This paper introduces a new efficient way for computing affine invariant features from gray-scale images. The method is based on a novel image transform which produces infinitely m...