1156 search results - page 118 / 232 » Compositional Methods for Information-Hiding |
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
ACL
2009
13 years 6 months ago
2009
The use of phrases in retrieval models has been proven to be helpful in the literature, but no particular research addresses the problem of discriminating phrases that are likely ...
BMCBI
2006
13 years 9 months ago
2006
The protein-protein interaction networks of even well-studied model organisms are sketchy at best, highlighting the continued need for computational methods to help direct experim...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
A jigsaw is a recently proposed generative model that describes an image as a composition of non-overlapping patches of varying shape, extracted from a latent image. By learning t...
FTRTFT
1998
Springer
14 years 1 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...