882 search results - page 57 / 177 » Analysis of Composite Corridors |
CC
1998
Springer
14 years 29 days ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
ICIAR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Russian photographer Prokudin-Gorskii was one of the pioneers of colour photography, creating projected colour composites through the acquisition of images using red, gre...
ICLP
1992
Springer
14 years 24 days ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
SIAMAM
2008
13 years 8 months ago
2008
A frequency bandgap is a range of wave frequencies that are prohibited from passing through a medium. The dispersion relation, which links the frequency to the wave number, enables...
IJNSEC
2007
13 years 8 months ago
2007
Recently, based on RSA and discrete logarithm with composite modulus, Huang and Chang proposed two multisignature schemes with distinguished signing authority and claimed that the...