1156 search results - page 43 / 232 » Compositional Methods for Information-Hiding |
ENTCS
2010
13 years 7 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
KBS
2007
13 years 7 months ago
2007
Algorithmic composition of musical pieces is one of the most popular areas of computer aided music research. Various attempts have been made successfully in the area of music comp...
TCAD
2002
13 years 7 months ago
2002
Abstract--Composite microsystems that integrate mechanical and fluidic components with electronics are emerging as the next generation of system-on-a-chip. Custom microsystems are ...
ICIP
2009
IEEE
13 years 5 months ago
2009
IEEE
Existing digital image composition algorithms neglect the out-of-gamut problem, i.e. some pixel values in a composited image exceed the displayable or printable range. In this pap...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper introduces a complete pipeline of image processing methods in order to analyze and track the internal structures of a composite material. As a first step, input Xray im...