1156 search results - page 155 / 232 » Compositional Methods for Information-Hiding |
ADT
2005
13 years 7 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
TKDE
2008
13 years 7 months ago
2008
Mixed-drove spatiotemporal co-occurrence patterns (MDCOPs) represent subsets of two or more different object-types whose instances are often located in spatial and temporal proximi...
AIR
2004
13 years 7 months ago
2004
Numerous temporal relations of verbal actions have been analysed in terms of various grammatical means of expressing verbal temporalisation such as tense, aspect, duration and iter...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Image matting is the process of extracting a soft segmentation of an object in an image as defined by the matting equation. Most current techniques focus largely on computing the ...
CGA
2004
13 years 7 months ago
2004
Color is fundamental in computer graphics imagery. But despite the importance of good color selection and the difficulty most people have making those color selections, current gr...