837 search results - page 20 / 168 » codes 2000 |
POPL
2000
ACM
14 years 1 months ago
2000
ACM
Procedure extraction is an important program transformation that can be used to make programs easier to understand and maintain, to facilitate code reuse, and to convert “monoli...
ANLP
2000
13 years 10 months ago
2000
This paper presents the syntactic and semantic tags used to annotate predicate-argument structure in the Berkeley FrameNet Project. It briefly explains the theory of frame semanti...
ICIP
2000
IEEE
14 years 1 months ago
2000
IEEE
We show that traditional waveform-coding and 3-D modelbased coding are not competing alternatives but should be combined to support and complement each other. Both approaches are ...
INFORMATICASI
2002
13 years 8 months ago
2002
At PKC 2000, Inoue and Sakurai proposed some methods to design hash functions from block ciphers and codes (block codes and convolutional codes). They claimed that their hash func...
AML
2006
13 years 8 months ago
2006
Vardanyan's Theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete 0 2. We generalize this result to a wide class of theories. The cru...