1057 search results - page 36 / 212 » its 1998 |
JELIA
1998
Springer
14 years 2 months ago
1998
Springer
Generalization is a fundamental operation of inductive inference. While rst order syntactic generalization anti-uni cation is well understood, its various extensions are needed in...
LACL
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
SACRYPT
1998
Springer
14 years 2 months ago
1998
Springer
Maurer's universal test is a very common randomness test, capable of detecting a wide gamut of statistical defects. The algorithm is simple (a few Java code lines), flexible (...
SACRYPT
1998
Springer
14 years 2 months ago
1998
Springer
Twofish is a new block cipher with a 128 bit block, and a key length of 128, 192, or 256 bits, which has been submitted as an AES candidate. In this paper, we briefly review the st...
SBIA
1998
Springer
14 years 2 months ago
1998
Springer
This paper presents Darwinci, a system that generates new ideas, using a multi-domain knowledge base composed by musical and drawing structures. Its theoretical background comes fr...