1156 search results - page 61 / 232 » Compositional Methods for Information-Hiding |
DARE
2000
13 years 9 months ago
2000
BUILD-IT is a planning tool based on computer vision technology, supporting complex planning and composition tasks. A group of people, seated around a table, interact with objects...
CRV
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a novel approach for measuring image similarity based on the composition of parts. The measure identifies common subregions between the images at multiple sizes, and e...
JCIT
2008
13 years 7 months ago
2008
This paper suggests an efficient image segmentation algorithm in 3 steps for grayscale images. First step is the segmentation as homogenous region on image. And, second step is me...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
CRYPTO
1990
Springer
13 years 11 months ago
1990
Springer
This paper describes a method for n players, a majority of which may be faulty, to compute correctly, privately, and fairly any computable function f(Xl, ...,x,) where xi is the i...