1156 search results - page 113 / 232 » Compositional Methods for Information-Hiding |
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
ASIACRYPT
2000
Springer
14 years 1 months ago
2000
Springer
The paper shows that some of elliptic curves over finite fields of characteristic three of composite degree are attacked by a more effective algorithm than Pollard’s ρ method...
AUSAI
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
VISUALIZATION
1993
IEEE
14 years 1 months ago
1993
IEEE
Flow volumes are the volumetric equivalent of stream lines. They provide more information about the vector field being visualized than do stream lines or ribbons. Presented is an ...
COLING
2008
13 years 10 months ago
2008
We report on the large-scale acquisition of class attributes with and without the use of lists of representative instances, as well as the discovery of unary attributes, such as t...